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

DOI

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

Cité par Sources :