Convenient vector spaces embed into the Cahiers topos
Cahiers de Topologie et Géométrie Différentielle Catégoriques (1986)
- Volume: 27, Issue: 1, page 3-17
- ISSN: 1245-530X
Access Full Article
topHow to cite
topKock, Anders. "Convenient vector spaces embed into the Cahiers topos." Cahiers de Topologie et Géométrie Différentielle Catégoriques 27.1 (1986): 3-17. <http://eudml.org/doc/91374>.
@article{Kock1986,
author = {Kock, Anders},
journal = {Cahiers de Topologie et Géométrie Différentielle Catégoriques},
keywords = {topos theory; categories in differential geometry; Cartesian closed; categories; convenient vector spaces; Cahiers topos},
language = {eng},
number = {1},
pages = {3-17},
publisher = {Dunod éditeur, publié avec le concours du CNRS},
title = {Convenient vector spaces embed into the Cahiers topos},
url = {http://eudml.org/doc/91374},
volume = {27},
year = {1986},
}
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
PB - Dunod éditeur, publié avec le concours du CNRS
VL - 27
IS - 1
SP - 3
EP - 17
LA - eng
KW - topos theory; categories in differential geometry; Cartesian closed; categories; convenient vector spaces; Cahiers topos
UR - http://eudml.org/doc/91374
ER -
References
top- 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. Zbl0473.18008MR557083
- 2 A. Frölicher, Smooth structures, Lecture Notes in Math.962, Springer (1982). Zbl0498.58004MR682945
- 3 A. Frölicher, B. Gisin & A. Kriegl, General differentiation theory, in Category Theoretic Methods in Geometry, AarhusVar. Publ. Series 35 (1983). Zbl0602.58011MR739542
- 4 A. Kock, Synthetic differential geometry, London Math. Soc. Lecture Notes Series 51, Cambridge Univ. Press, 1981. Zbl0466.51008MR649622
- 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. Zbl0564.18009MR786554
- 7 A. Kriegl, Die richtigen Räume für Analysis im Unendlichdimensionalen, Monatsh. f. Math.94 (1982), 109-124. Zbl0489.46035MR678046
- 8 A. Kriegl, Eine kartesisch abgeschlossene Kategorie glatter Abbildungen zwischen beliebigen lokallonvexen Vektorräumen, Monatsh. f. Math.95 (1983), p. 287-309. Zbl0511.46043MR718065
- 9 P. Michor, A convenient setting for differential geometry and global analysis, Cahiers Top. et Géom. Diff. XXV-1 (1984), 63-109. Zbl0548.58001MR764972
- 10 A. Weil, Théorie des points proches sur les variétés différentiables, Coll. Top. et Géom. Diff., Strasbourg, 1953. Zbl0053.24903MR61455
Citations in EuDML Documents
topNotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.