The structure of free closed categories

DOI10.1016/0022-4049(90)90031-CMaRDI QIDQ803265zbMATH OpenFDO

Authors 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

Proof theory in general (including proof-theoretic semantics) (03F03) Categorical logic, topoi (03G30) Factorization systems, substructures, quotient structures, congruences, amalgams (18A32) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15)

Recommendations

• Publication:4938649
• scientific article; zbMATH DE number 4156799
• Free modules over Cartesian closed topological categories
• scientific article; zbMATH DE number 663785
• Free \(A_\infty\)-categories
• Free hypermodules: a categorical approach
• On closed categories of functors
• A constructive approach to Freyd categories
• Categories of components and loop-free categories
• scientific article; zbMATH DE number 19042

Cites work

• scientific article; zbMATH DE number 3959364 (Why is no real title available?)
• scientific article; zbMATH DE number 3573844 (Why is no real title available?)
• scientific article; zbMATH DE number 3582126 (Why is no real title available?)
• scientific article; zbMATH DE number 4122189 (Why is no real title available?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• scientific article; zbMATH DE number 3316072 (Why is no real title available?)
• scientific article; zbMATH DE number 3333259 (Why is no real title available?)
• scientific article; zbMATH DE number 3341269 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• scientific article; zbMATH DE number 3385867 (Why is no real title available?)
• A categorical equivalence of proofs
• A generalization of the functorial calculus
• A note on natural numbers objects in monoidal categories
• Coherence and non-commutative diagrams in closed categories
• Coherence in Nonmonoidal Closed Categories
• Deductive systems and categories
• Idempotents in bicategories
• La logique des topos
• Languages for monoidal categories
• Why commutative diagrams coincide with equivalent proofs

Cited in

(12)

• A note on natural numbers objects in monoidal categories
• On categorical equivalence of Gentzen-style derivations in IMLL
• scientific article; zbMATH DE number 1285808 (Why is no real title available?)
• Multiplicative linear logics and fibrations
• scientific article; zbMATH DE number 4163128 (Why is no real title available?)
• scientific article; zbMATH DE number 663785 (Why is no real title available?)
• Proof of a S.Mac Lane conjecture (extended abstract)
• Natural deduction and coherence for weakly distributive categories
• Algebra and Coalgebra in Computer Science
• Proof of a conjecture of S. Mac Lane
• Aspects of categorical recursion theory
• Linear logic, coherence and dinaturality

This page was built for publication: The structure of free closed categories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q803265)