Coherence via focusing for symmetric skew monoidal categories
From MaRDI portal
Publication:2148789
DOI10.1007/978-3-030-88853-4_12OpenAlexW3202723385MaRDI QIDQ2148789
Publication date: 24 June 2022
Full work available at URL: https://doi.org/10.1007/978-3-030-88853-4_12
Related Items
LNL polycategories and doctrines of linear logic, Maximally multi-focused proofs for skew non-commutative \texttt{MILL}
Cites Work
- Skew-monoidal categories and bialgebroids.
- Algebra of proofs
- Efficient solutions to the braid isotopy problem.
- Full intuitionistic linear logic
- Braided tensor categories
- Skew monoidal categories and skew multicategories
- Free skew monoidal categories
- Skew structures in 2-category theory and homotopy theory
- An alternative description of braided monoidal categories
- Triangulations, orientals, and skew monoidal categories
- On MacLane's conditions for coherence of natural associativities, commutativities, etc
- Syntactic aspects of hypergraph polytopes
- Skew monoidales, skew warpings and quantum categories
- Logic Programming with Focusing Proofs in Linear Logic
- Coherence for Skew-Monoidal Categories
- A practical type theory for symmetric monoidal categories
- The Sequent Calculus of Skew Monoidal Categories
- Proof Theory of Partially Normal Skew Monoidal Categories
- Ribbon Tensorial Logic
- Monads need not be endofunctors
- Braided skew monoidal categories
- The Catalan simplicial set
- Computer Science Logic
- Deductive systems and categories
- THE BRAID GROUP AND OTHER GROUPS
- Types for Proofs and Programs
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
