Natural deduction and coherence for weakly distributive categories

1996/12/01 by R.F. Blute, Richard Blute, J.R.B. Cockett +4 · 13 citations
Computer Science · Mathematics · #Logic, programming, and type systems #Logic, Reasoning, and Knowledge #Homotopy and Cohomology in Algebraic Topology

paper · doi:10.1016/0022-4049(95)00159-x

Cited by

• Linearly distributive functors
• Weakly distributive categories
• A practical type theory for symmetric monoidal categories
• Coherence Constraints for Operads, Categories and Algebras
• Graphical Presentations of Symmetric Monoidal Closed Theories
• String Diagrams for Closed Symmetric Monoidal Categories
• Semantic Proof of Confluence of the Categorical Reduction System for\n Linear Logic
• Girard's !() as a reversible fixed-point operator
• Cartesian Linearly Distributive Categories: Revisited
• The algebra of entanglement and the geometry of composition
• Dynamics and Coherence for the Free Cornering with Protocol Choice
• Binding bigraphs as symmetric monoidal closed theories
• Linear Logic without Units