On the conditions of full coherence in closed categories

DOI10.1016/0022-4049(91)90025-WzbMath0723.18008MaRDI QIDQ757581

Serguei V. Solov'ev

Publication date: 1990

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

zbMATH Keywords

coherenceproof-theoretic techniquessymmetric monoidal closed category

Mathematics Subject Classification ID

Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Proof theory in general (including proof-theoretic semantics) (03F03) Foundations, relations to logic and deductive systems (18A15)

Related Items (8)

Coherence in SMCCs and equivalences on derivations in IMML with unit ⋮ Proof of a S.Mac Lane conjecture (extended abstract) ⋮ Proof of a conjecture of S. Mac Lane ⋮ On categorical equivalence of Gentzen-style derivations in IMLL ⋮ Coherence for closed categories with biproducts ⋮ Reductions in Intuitionistic Linear Logic ⋮ Categorical interpretation of logical derivations and its applications in algebra ⋮ Unnamed Item

Cites Work

• Closed categories and the theory of proofs
• A generalization of the functorial calculus
• Coherence in closed categories
• Coherence and non-commutative diagrams in closed categories
• Unnamed Item
• Unnamed Item

This page was built for publication: On the conditions of full coherence in closed categories