The structure of free closed categories
DOI10.1016/0022-4049(90)90031-CzbMATH Open0727.18002MaRDI QIDQ803265FDOQ803265
Authors: Barry Jay
Publication date: 1990
Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)
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
natural transformationsdecomposition of morphismsequality of morphismsfree closed categoryfree symmetric monoidal closed category
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)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- La logique des topos
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Deductive systems and categories
- A generalization of the functorial calculus
- Title not available (Why is that?)
- Coherence and non-commutative diagrams in closed categories
- Title not available (Why is that?)
- Languages for monoidal categories
- A note on natural numbers objects in monoidal categories
- Idempotents in bicategories
- A categorical equivalence of proofs
- Coherence in Nonmonoidal Closed Categories
- Title not available (Why is that?)
- 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
- Title not available (Why is that?)
- Multiplicative linear logics and fibrations
- Title not available (Why is that?)
- Title not available (Why is that?)
- Proof of a S.Mac Lane conjecture (extended abstract)
- Natural deduction and coherence for weakly distributive categories
- Algebra and Coalgebra in Computer Science
- Aspects of categorical recursion theory
- Proof of a conjecture of S. Mac Lane
- 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)