no. 1
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.
corrigé par Erratum to “Convenient vector spaces embed into the Cahiers topos”
corrigé par Corrigendum and addenda to the paper “Convenient vector spaces embed...” 
@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://archive.numdam.org/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://archive.numdam.org/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://archive.numdam.org/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://archive.numdam.org/item/CTGDC_1986__27_1_3_0/

1 E. Dubuc, Sur les modèles de la géométrie différentielle synthétique, Cahiers Top. et Géom. Diff. XX-3 (1979), 231-279. | Numdam | MR | Zbl

2 A. Frölicher, Smooth structures, Lecture Notes in Math. 962, Springer (1982). | MR | Zbl

3 A. Frölicher, B. Gisin & A. Kriegl, General differentiation theory, in Category Theoretic Methods in Geometry, Aarhus Var. Publ. Series 35 (1983). | MR | Zbl

4 A. Kock, Synthetic differential geometry, London Math. Soc. Lecture Notes Series 51, Cambridge Univ. Press, 1981. | MR | Zbl

5 A. Kock, Calculus of smooth functions between convenient vector spaces, Aarhus Preprint Series 18 (1984 -85).

6 A. Kock & R. Lavendhomme, Strong infinitesimal linearity, with applications to strong difference and affine connections, Cahiers Top. et Géom. Diff. XXV-3 (1984), 311-324. | Numdam | MR | Zbl

7 A. Kriegl, Die richtigen Räume für Analysis im Unendlichdimensionalen, Monatsh. f. Math. 94 (1982), 109-124. | MR | Zbl

8 A. Kriegl, Eine kartesisch abgeschlossene Kategorie glatter Abbildungen zwischen beliebigen lokallonvexen Vektorräumen, Monatsh. f. Math. 95 (1983), p. 287-309. | MR | Zbl

9 P. Michor, A convenient setting for differential geometry and global analysis, Cahiers Top. et Géom. Diff. XXV-1 (1984), 63-109. | Numdam | MR | Zbl

10 A. Weil, Théorie des points proches sur les variétés différentiables, Coll. Top. et Géom. Diff., Strasbourg, 1953. | MR | Zbl