Un modèle de filtres pour l'analyse réelle synthétique
Cahiers de Topologie et Géométrie Différentielle Catégoriques (1993)
- Volume: 34, Issue: 2, page 83-120
- ISSN: 1245-530X
Access Full Article
topHow to cite
topde Freitas Druck, Iole. "Un modèle de filtres pour l'analyse réelle synthétique." Cahiers de Topologie et Géométrie Différentielle Catégoriques 34.2 (1993): 83-120. <http://eudml.org/doc/91520>.
@article{deFreitasDruck1993,
author = {de Freitas Druck, Iole},
journal = {Cahiers de Topologie et Géométrie Différentielle Catégoriques},
keywords = {convergence along filters; ringed topos; category of smooth manifolds; inverse function theorem},
language = {fre},
number = {2},
pages = {83-120},
publisher = {Dunod éditeur, publié avec le concours du CNRS},
title = {Un modèle de filtres pour l'analyse réelle synthétique},
url = {http://eudml.org/doc/91520},
volume = {34},
year = {1993},
}
TY - JOUR
AU - de Freitas Druck, Iole
TI - Un modèle de filtres pour l'analyse réelle synthétique
JO - Cahiers de Topologie et Géométrie Différentielle Catégoriques
PY - 1993
PB - Dunod éditeur, publié avec le concours du CNRS
VL - 34
IS - 2
SP - 83
EP - 120
LA - fre
KW - convergence along filters; ringed topos; category of smooth manifolds; inverse function theorem
UR - http://eudml.org/doc/91520
ER -
References
top- [1] Boileau, A. - Types versus Topos, thèse de doctorat, Université de Montréal (1975).
- [2] Boileau, A. et Joyal, A. - La Logique des Topos, Journ. Symb. Logic, vol. 46, n°1 (1981). Zbl0544.03035MR604873
- [3] Bourbaki, N. - Topologie Générale, 3e ed. Hermann, Paris (1961).
- [4] Dubuc, E.J. - Sur les modèles de la Géométrie Différentielle Synthétique, Cahiers de Top. et Géom. Diff.20 (1979). Zbl0473.18008MR557083
- [5] Druck, I.F. et Reyes, G.E. - Sur la convergence de fonctions suivant des filtres, Categorical Algebra and its Applications. Proceedings, Louvain-la-Neuve, 1987. Lecture Notes in Math., 1348, Springer (F.Borceux,Ed.)(1988). Zbl0717.40003MR975962
- [6] Gillman, L. et Jerison, M. - Rings of Continuous Functions, New York, Springer-Verlag (1976). Zbl0327.46040MR407579
- [7] Guillemin, V. et Pollack, A. - Differential Topology, Prentice-Hall (1974). Zbl0361.57001MR348781
- [8] Johnstone, P.T. - Topos Theory, London Math. Society Monographs, n° 10, Academic Press (1977). Zbl0368.18001MR470019
- [9] Kleene, S.C. - Mathematical Logic, Wiley and Sons Inc. (1967). Zbl0149.24309MR216930
- [10] Kock, A. - Synthetic Differential Geometry, London Math. Soc. Lecture Notes Series 51, Cambridge Univ. Press (1981). Zbl0466.51008MR649622
- [11] Mac Lane, S. - Categories for the Working Mathematician, Springer-Verlag (1971). Zbl0232.18001
- [12] Makkai, M. et Reyes ( G.E. - First-Order Categorical Logic, Lecture Notes in Math.611, Springer-Verlag (1977). Zbl0357.18002MR505486
- [13] Moerdijk, L. et Reyes, G.E.A smooth version of the Zariski topos, Report 83-24, Univ. of Amsterdam (1983), Adv. Math., vol. 65, n° 3 (1987), 229-253. Zbl0648.18006MR904724
- [14] Moerdijk, I. et Reyes, G.E. - Rings of Smooth Function and their Localizations I, Journal ofAlgebra99, n° 2 (1986). Zbl0592.18005MR837547
- [15] Moerdijk, I. et, Reyes, G.E. - Models of Smooth Infinitesimal Analysis, Springer-Verlag (1991). Zbl0715.18001MR1083355
- [16] Reyes, G.E. - Théorie des modèles et faisceaux, Advances in Math. vol. 30, n ° 2, pp.156-170 (1978). Zbl0409.03040MR513847
- [17] Reyes, G.E. (éditeur) - Analyse C∞, Géométrie Différentielle Synthétique, Rapport de recherches du D.M.S. - 80-12, Univ. de Montréal (1980).
- [18] Reyes, G.E. - Analyse dans les topos lisses, Cahiers de Top. et de Géom. Diff.XXII-2 (1981). Zbl0486.18011MR649796
- [19] Robinson, A. - Non Standard Analysis, North-Holland Publ. Co. (1966). Zbl0151.00803MR205854
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.