Article contents
A Counter-Example to Coherence in Cartesian Closed Categories
Published online by Cambridge University Press: 20 November 2018
Extract
It follows from [3] that all morphisms of free closed categories on finite discrete categories are components of natural or “generalized” natural transformations, and from [8] that all hom-sets of such categories are finite. The purpose of this paper is to show that neither statement remains true if the categories are also assumed to be cartesian.
- Type
- Research Article
- Information
- Copyright
- Copyright © Canadian Mathematical Society 1975
References
- 8
- Cited by