The Sequent Calculus of Skew Monoidal Categories
From MaRDI portal
Publication:5014602
DOI10.1007/978-3-030-66545-6_11zbMath1495.03073arXiv2003.05213OpenAlexW3011585936MaRDI QIDQ5014602
Tarmo Uustalu, Noam Zeilberger, Niccolò Veltri
Publication date: 8 December 2021
Published in: Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2003.05213
Cut-elimination and normal-form theorems (03F05) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Monoidal categories, symmetric monoidal categories (18M05)
Related Items
Coherence via focusing for symmetric skew monoidal categories ⋮ Maximally multi-focused proofs for skew non-commutative \texttt{MILL}
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Associahedra, Tamari lattices and related structures. Tamari memorial Festschrift
- Skew-monoidal categories and bialgebroids.
- Representable multicategories
- Skew monoidal categories and skew multicategories
- Free skew monoidal categories
- Untersuchungen über das logische Schliessen. I
- The sequent calculus of skew monoidal categories
- Skew-closed categories
- Triangulations, orientals, and skew monoidal categories
- On MacLane's conditions for coherence of natural associativities, commutativities, etc
- Skew monoidales, skew warpings and quantum categories
- The Mathematics of Sentence Structure
- A new constructive logic: classic logic
- Logic Programming with Focusing Proofs in Linear Logic
- Coherence for Skew-Monoidal Categories
- Homotopy of Operads and Grothendieck–Teichmüller Groups
- The Catalan simplicial set
- Deductive systems and categories
- Monoïdes préordonnés et chaînes de Malcev