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 , p. 3-17
Zbl 0596.18005 | MR 845406 | 2 citations dans Numdam
⇒ un erratum à cet article Corrigendum and addenda to the paper “Convenient vector spaces embed...”
⇒ un erratum à cet article Erratum to “Convenient vector spaces embed into the Cahiers topos”
URL stable : http://www.numdam.org/item?id=CTGDC_1986__27_1_3_0

Bibliographie

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