Proof of a S.Mac Lane conjecture (extended abstract)

DOI10.1007/3-540-60164-3_20zbMath1502.03022OpenAlexW121082419MaRDI QIDQ5057466

No author found.

Publication date: 16 December 2022

Published in: Category Theory and Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-60164-3_20

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)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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 closed categories
• Coherence and non-commutative diagrams in closed categories

This page was built for publication: Proof of a S.Mac Lane conjecture (extended abstract)