3 problems

Skew monoidal closed coherence conjecture. The free skew monoidal closed category on $\mathsf{At}$ corresponds to a skew variant of the $(\mathsf{I},\otimes,\multimap)$ fragment of…

Focused calculus conjecture. The equations expressing the skew multicategory laws for $\mathsf{scut}$, $\mathsf{ccut}$, $\mathsf{ax}$ and $\mathsf{pass}$ can then be avoided in thi…

Let $\mathcal{X}$ and $\mathcal{C}$ be left closed monoidal categories, meaning that tensoring on the left has a right adjoint. Let there be a strong action of $\mathcal{X}$ on…