Convenient vector spaces embed into the Cahiers topos
Cahiers de Topologie et Géométrie Différentielle Catégoriques, Volume 27 (1986) no. 1, p. 3-17 
@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},
     publisher = {Dunod \'editeur, publi\'e avec le concours du CNRS},
     volume = {27},
     number = {1},
     year = {1986},
     pages = {3-17},
     zbl = {0596.18005},
     mrnumber = {845406},
     language = {en},
     url = {http://www.numdam.org/item/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, Volume 27 (1986) no. 1, pp. 3-17. http://www.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 557083 | Zbl 0473.18008

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

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

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

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 786554 | Zbl 0564.18009

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

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

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 764972 | Zbl 0548.58001

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