Geodesic
Convenient vector spaces embed into the Cahiers topos
Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 27 (1986) no. 1, pp. 3-17

Voir la notice de l'article provenant de la source Numdam

corrigé par Corrigendum and addenda to the paper “Convenient vector spaces embed...”
corrigé par Erratum to “Convenient vector spaces embed into the Cahiers topos” 
@article{CTGDC_1986__27_1_3_0,
     author = {Kock, Anders},
     title = {Convenient vector spaces embed into the {Cahiers} topos},
     journal = {Cahiers de Topologie et G\'eom\'etrie Diff\'erentielle Cat\'egoriques},
     pages = {3--17},
     publisher = {Dunod \'editeur, publi\'e avec le concours du CNRS},
     volume = {27},
     number = {1},
     year = {1986},
     mrnumber = {845406},
     zbl = {0596.18005},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/CTGDC_1986__27_1_3_0/}
}
TY  - JOUR
AU  - Kock, Anders
TI  - Convenient vector spaces embed into the Cahiers topos
JO  - Cahiers de Topologie et Géométrie Différentielle Catégoriques
PY  - 1986
SP  - 3
EP  - 17
VL  - 27
IS  - 1
PB  - Dunod éditeur, publié avec le concours du CNRS
UR  - http://geodesic.mathdoc.fr/item/CTGDC_1986__27_1_3_0/
LA  - en
ID  - CTGDC_1986__27_1_3_0
ER  - 
%0 Journal Article
%A Kock, Anders
%T Convenient vector spaces embed into the Cahiers topos
%J Cahiers de Topologie et Géométrie Différentielle Catégoriques
%D 1986
%P 3-17
%V 27
%N 1
%I Dunod éditeur, publié avec le concours du CNRS
%U http://geodesic.mathdoc.fr/item/CTGDC_1986__27_1_3_0/
%G en
%F CTGDC_1986__27_1_3_0
Kock, Anders. Convenient vector spaces embed into the Cahiers topos. Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 27 (1986) no. 1, pp. 3-17. http://geodesic.mathdoc.fr/item/CTGDC_1986__27_1_3_0/