Proof Theory of Partially Normal Skew Monoidal Categories

zbMath1477.18041arXiv2101.10487MaRDI QIDQ5019679

Tarmo Uustalu, Niccolò Veltri, Noam Zeilberger

Publication date: 10 January 2022

Full work available at URL: https://arxiv.org/abs/2101.10487

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Proof theory in general (including proof-theoretic semantics) (03F03) Categorical aspects of linear logic (18M45)

Related Items

Eilenberg-Kelly reloaded, Coherence via focusing for symmetric skew monoidal categories

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Skew-monoidal categories and bialgebroids.
• Representable multicategories
• Skew monoidal categories and skew multicategories
• Free skew monoidal categories
• The sequent calculus of skew monoidal categories
• Skew-closed categories
• Triangulations, orientals, and skew monoidal categories
• Coherence for associativity not an isomorphism
• On MacLane's conditions for coherence of natural associativities, commutativities, etc
• Skew monoidales, skew warpings and quantum categories
• The Mathematics of Sentence Structure
• Non‐commutative intuitionistic linear logic
• Logic Programming with Focusing Proofs in Linear Logic
• Coherence for Skew-Monoidal Categories
• A theory of linear typings as flows on 3-valent graphs
• Monads need not be endofunctors
• Braided skew monoidal categories
• The Catalan simplicial set
• Computer Science Logic