@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://www.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://www.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://www.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, Volume 27 (1986) no. 1, pp. 3-17. http://www.numdam.org/item/CTGDC_1986__27_1_3_0/
1 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 Smooth structures, Lecture Notes in Math. 962, Springer (1982). | MR | Zbl
,3 General differentiation theory, in Category Theoretic Methods in Geometry, Aarhus Var. Publ. Series 35 (1983). | MR | Zbl
, & ,4 Synthetic differential geometry, London Math. Soc. Lecture Notes Series 51, Cambridge Univ. Press, 1981. | MR | Zbl
,5 Calculus of smooth functions between convenient vector spaces, Aarhus Preprint Series 18 (1984 -85).
,6 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 Die richtigen Räume für Analysis im Unendlichdimensionalen, Monatsh. f. Math. 94 (1982), 109-124. | MR | Zbl
,8 Eine kartesisch abgeschlossene Kategorie glatter Abbildungen zwischen beliebigen lokallonvexen Vektorräumen, Monatsh. f. Math. 95 (1983), p. 287-309. | MR | Zbl
,9 A convenient setting for differential geometry and global analysis, Cahiers Top. et Géom. Diff. XXV-1 (1984), 63-109. | Numdam | MR | Zbl
,10 Théorie des points proches sur les variétés différentiables, Coll. Top. et Géom. Diff., Strasbourg, 1953. | MR | Zbl
,