A Counter-Example to Coherence in Cartesian Closed Categories

DOI10.4153/CMB-1975-020-1zbMath0332.18006OpenAlexW2328830381MaRDI QIDQ4097072

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)

Related Items

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