Coherence and non-commutative diagrams in closed categories
From MaRDI portal
Publication:4116605
DOI10.1090/memo/0182zbMath0347.18008OpenAlexW1992906530MaRDI QIDQ4116605
Publication date: 1977
Published in: Memoirs of the American Mathematical Society (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1090/memo/0182
Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) General logic (03B99) Categorical structures (18D99) Foundations, relations to logic and deductive systems (18A15) Proof theory and constructive mathematics (03F99)
Related Items (13)
Proof of a S.Mac Lane conjecture (extended abstract) ⋮ Unnamed Item ⋮ Proof of a conjecture of S. Mac Lane ⋮ The development and prospects for category theory ⋮ Coherence for closed categories with biproducts ⋮ Kohaerenz in Kategorien mit Gruppenstruktur ⋮ Categorical interpretation of logical derivations and its applications in algebra ⋮ Topology and logic as a source of algebra ⋮ On natural transformations of distinguished functors and their superpositions in certain closed categories ⋮ Languages for monoidal categories ⋮ On the conditions of full coherence in closed categories ⋮ A simple permutoassociahedron ⋮ The structure of free closed categories
This page was built for publication: Coherence and non-commutative diagrams in closed categories
