The structure of free closed categories
- 29 October 1990
- journal article
- Published by Elsevier in Journal of Pure and Applied Algebra
- Vol. 66 (3) , 271-285
- https://doi.org/10.1016/0022-4049(90)90031-c
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Languages for monoidal categoriesJournal of Pure and Applied Algebra, 1989
- Idempotents in bicategoriesBulletin of the Australian Mathematical Society, 1989
- Why commutative diagrams coincide with equivalent proofsContemporary Mathematics, 1982
- La logique des toposThe Journal of Symbolic Logic, 1981
- Coherence in nonmonoidal closed categoriesTransactions of the American Mathematical Society, 1977
- Cut-elimination theorem for relevant logicsJournal of Mathematical Sciences, 1976
- A categorical equivalence of proofs.Notre Dame Journal of Formal Logic, 1974
- Coherence in closed categoriesJournal of Pure and Applied Algebra, 1971
- Deductive systems and categoriesTheory of Computing Systems, 1968
- A generalization of the functorial calculusJournal of Algebra, 1966