Proof of a conjecture of S. Mac Lane

DOI10.1016/S0168-0072(97)00034-1zbMath0895.03028WikidataQ123314123 ScholiaQ123314123MaRDI QIDQ1377606

Serguei V. Solov'ev

Publication date: 2 September 1998

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

zbMATH Keywords

coherencederivationslinear logicvector spacesclosed categoriesnon-commutative diagrams

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items

Coherence in SMCCs and equivalences on derivations in IMML with unit ⋮ On categorical equivalence of Gentzen-style derivations in IMLL ⋮ Sheaf representation of monoidal categories ⋮ Coherence for closed categories with biproducts ⋮ Categorical interpretation of logical derivations and its applications in algebra ⋮ Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• *-autonomous categories. With an appendix by Po-Hsiang Chu
• On the conditions of full coherence in closed categories
• Algebra of proofs
• The structure of free closed categories
• Closed categories and the theory of proofs
• Coherence in category theory and the Church-Rosser property
• The category of finite sets and Cartesian closed categories
• A generalization of the functorial calculus
• Coherence in closed categories
• Completeness, invariance and λ-definability
• Topology and logic as a source of algebra
• Coherence and non-commutative diagrams in closed categories
• Deductive systems and categories