Geodesic
A Counter-Example to Coherence in Cartesian Closed Categories
Canadian mathematical bulletin, Tome 18 (1975) no. 1, pp. 111-114

Voir la notice de l'article provenant de la source Cambridge University Press

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. 
Szabo, M. E. A Counter-Example to Coherence in Cartesian Closed Categories. Canadian mathematical bulletin, Tome 18 (1975) no. 1, pp. 111-114. doi: 10.4153/CMB-1975-020-1
@article{10_4153_CMB_1975_020_1,
     author = {Szabo, M. E.},
     title = {A {Counter-Example} to {Coherence} in {Cartesian} {Closed} {Categories}},
     journal = {Canadian mathematical bulletin},
     pages = {111--114},
     year = {1975},
     volume = {18},
     number = {1},
     doi = {10.4153/CMB-1975-020-1},
     url = {http://geodesic.mathdoc.fr/articles/10.4153/CMB-1975-020-1/}
}
TY  - JOUR
AU  - Szabo, M. E.
TI  - A Counter-Example to Coherence in Cartesian Closed Categories
JO  - Canadian mathematical bulletin
PY  - 1975
SP  - 111
EP  - 114
VL  - 18
IS  - 1
UR  - http://geodesic.mathdoc.fr/articles/10.4153/CMB-1975-020-1/
DO  - 10.4153/CMB-1975-020-1
ID  - 10_4153_CMB_1975_020_1
ER  - 
%0 Journal Article
%A Szabo, M. E.
%T A Counter-Example to Coherence in Cartesian Closed Categories
%J Canadian mathematical bulletin
%D 1975
%P 111-114
%V 18
%N 1
%U http://geodesic.mathdoc.fr/articles/10.4153/CMB-1975-020-1/
%R 10.4153/CMB-1975-020-1
%F 10_4153_CMB_1975_020_1

[1] 1. Eilenberg, S. and Kelly, G. M., A Generalization of the Functorial Calculus, J. Algebra 3 (1966), 366-375. Google Scholar

[2] 2. Kelly, G. M., On MacLane's Conditions for Coherence of Natural Associativities, Commutativities, etc., J. Algebra 4 (1964), 397-402. Google Scholar

[3] 3. Kelly, G. M. and MacLane, S., Coherence in Closed Categories, J. Pure and Applied Algebra 1 (1971), 97-140. Google Scholar

[4] 4. Lambek, J., Deductive Systems and Categories I, Math. Systems Theory 2 (1968), 287-318. Google Scholar

[5] 5. Lambek, J., Deductive Systems and Categories II, Lecture Notes in Mathematics 86, Springer, Berlin, 1969, 76-122. Google Scholar

[6] 6. MacLane, S., Natural Associativity and Commutativity, Rice Univ. Stud. 49 (1963), 28-46. Google Scholar

[7] 7. MacLane, S., Categories for the Working Mathematician, Springer, New York, 1971. Google Scholar

[8] 8. Szabo, M. E., The Logic of Closed Categories, Notre Dame Journal of Formal Logic, (to appear). Google Scholar

Cité par Sources :