Coherence and non-commutative diagrams in closed categories
From MaRDI portal
Publication:4116605
DOI10.1090/memo/0182zbMath0347.18008MaRDI 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
18D15: Closed categories (closed monoidal and Cartesian closed categories, etc.)
03B99: General logic
18D99: Categorical structures
18A15: Foundations, relations to logic and deductive systems
03F99: Proof theory and constructive mathematics
Related Items
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, The structure of free closed categories, Kohaerenz in Kategorien mit Gruppenstruktur, Proof of a conjecture of S. Mac Lane, The development and prospects for category theory, Unnamed Item, Topology and logic as a source of algebra