Un modèle de filtres pour l'analyse réelle synthétique

Iole de Freitas Druck

Cahiers de Topologie et Géométrie Différentielle Catégoriques (1993)

  • Volume: 34, Issue: 2, page 83-120
  • ISSN: 1245-530X

How to cite

top

de 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. [1] Boileau, A. - Types versus Topos, thèse de doctorat, Université de Montréal (1975). 
  2. [2] Boileau, A. et Joyal, A. - La Logique des Topos, Journ. Symb. Logic, vol. 46, n°1 (1981). Zbl0544.03035MR604873
  3. [3] Bourbaki, N. - Topologie Générale, 3e ed. Hermann, Paris (1961). 
  4. [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. [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. [6] Gillman, L. et Jerison, M. - Rings of Continuous Functions, New York, Springer-Verlag (1976). Zbl0327.46040MR407579
  7. [7] Guillemin, V. et Pollack, A. - Differential Topology, Prentice-Hall (1974). Zbl0361.57001MR348781
  8. [8] Johnstone, P.T. - Topos Theory, London Math. Society Monographs, n° 10, Academic Press (1977). Zbl0368.18001MR470019
  9. [9] Kleene, S.C. - Mathematical Logic, Wiley and Sons Inc. (1967). Zbl0149.24309MR216930
  10. [10] Kock, A. - Synthetic Differential Geometry, London Math. Soc. Lecture Notes Series 51, Cambridge Univ. Press (1981). Zbl0466.51008MR649622
  11. [11] Mac Lane, S. - Categories for the Working Mathematician, Springer-Verlag (1971). Zbl0232.18001
  12. [12] Makkai, M. et Reyes ( G.E. - First-Order Categorical Logic, Lecture Notes in Math.611, Springer-Verlag (1977). Zbl0357.18002MR505486
  13. [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. [14] Moerdijk, I. et Reyes, G.E. - Rings of Smooth Function and their Localizations I, Journal ofAlgebra99, n° 2 (1986). Zbl0592.18005MR837547
  15. [15] Moerdijk, I. et, Reyes, G.E. - Models of Smooth Infinitesimal Analysis, Springer-Verlag (1991). Zbl0715.18001MR1083355
  16. [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. [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. [18] Reyes, G.E. - Analyse dans les topos lisses, Cahiers de Top. et de Géom. Diff.XXII-2 (1981). Zbl0486.18011MR649796
  19. [19] Robinson, A. - Non Standard Analysis, North-Holland Publ. Co. (1966). Zbl0151.00803MR205854

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.