The structure of free closed categories

DOI10.1016/0022-4049(90)90031-CzbMath0727.18002MaRDI QIDQ803265

C. Barry Jay

Publication date: 1990

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

zbMATH Keywords

natural transformationsdecomposition of morphismsequality of morphismsfree closed categoryfree symmetric monoidal closed category

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) Factorization systems, substructures, quotient structures, congruences, amalgams (18A32)

Related Items

Proof of a S.Mac Lane conjecture (extended abstract) ⋮ Proof of a conjecture of S. Mac Lane ⋮ Natural deduction and coherence for weakly distributive categories ⋮ On categorical equivalence of Gentzen-style derivations in IMLL ⋮ Linear logic, coherence and dinaturality ⋮ A note on natural numbers objects in monoidal categories ⋮ Multiplicative Linear Logics and Fibrations ⋮ Aspects of Categorical Recursion Theory

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Languages for monoidal categories
• A note on natural numbers objects in monoidal categories
• A categorical equivalence of proofs
• A generalization of the functorial calculus
• La logique des topos
• Idempotents in bicategories
• Coherence in Nonmonoidal Closed Categories
• Coherence and non-commutative diagrams in closed categories
• Why commutative diagrams coincide with equivalent proofs
• Deductive systems and categories