The Sequent Calculus of Skew Monoidal Categories

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

Mathematics Subject Classification ID

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