A Counter-Example to Coherence in Cartesian Closed Categories

DOI10.4153/CMB-1975-020-1zbMATH Open0332.18006OpenAlexW2328830381MaRDI QIDQ4097072FDOQ4097072

Authors: Manfred E. Szabo 

Publication date: 1975

Published in: Canadian Mathematical Bulletin (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.4153/cmb-1975-020-1

Mathematics Subject Classification ID

Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15)

Cited In (4)

• G-dinaturality.
• Quantifier-complete categories
• Coherence in Cartesian closed categories and the generality of proofs
• Generality of proofs and its Brauerian representation

This page was built for publication: A Counter-Example to Coherence in Cartesian Closed Categories

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