A Counter-Example to Coherence in Cartesian Closed Categories

DOI10.4153/CMB-1975-020-1MaRDI QIDQ4097072zbMATH OpenOpenAlexFDO

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)