Pages that link to "Item:Q5019679"
From MaRDI portal
The following pages link to Proof Theory of Partially Normal Skew Monoidal Categories (Q5019679):
Displaying 6 items.
- Free skew monoidal categories (Q1748410) (← links)
- Eilenberg-Kelly reloaded (Q2133479) (← links)
- The sequent calculus of skew monoidal categories (Q2134838) (← links)
- Coherence via focusing for symmetric skew monoidal categories (Q2148789) (← links)
- Parsummable categories as a strictification of symmetric monoidal categories (Q4989037) (← links)
- Proof theory of skew non-commutative \texttt{MILL} (Q6659903) (← links)