Convergence in some ringed toposes
Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 31 (1990) no. 3, pp. 245-274. 
@article{CTGDC_1990__31_3_245_0,
     author = {Veit, A. Barbara},
     title = {Convergence in some ringed toposes},
     journal = {Cahiers de Topologie et G\'eom\'etrie Diff\'erentielle Cat\'egoriques},
     pages = {245--274},
     publisher = {Dunod \'editeur, publi\'e avec le concours du CNRS},
     volume = {31},
     number = {3},
     year = {1990},
     mrnumber = {1087867},
     zbl = {0722.18004},
     language = {en},
     url = {http://archive.numdam.org/item/CTGDC_1990__31_3_245_0/}
}
TY  - JOUR
AU  - Veit, A. Barbara
TI  - Convergence in some ringed toposes
JO  - Cahiers de Topologie et Géométrie Différentielle Catégoriques
PY  - 1990
SP  - 245
EP  - 274
VL  - 31
IS  - 3
PB  - Dunod éditeur, publié avec le concours du CNRS
UR  - http://archive.numdam.org/item/CTGDC_1990__31_3_245_0/
LA  - en
ID  - CTGDC_1990__31_3_245_0
ER  - 
%0 Journal Article
%A Veit, A. Barbara
%T Convergence in some ringed toposes
%J Cahiers de Topologie et Géométrie Différentielle Catégoriques
%D 1990
%P 245-274
%V 31
%N 3
%I Dunod éditeur, publié avec le concours du CNRS
%U http://archive.numdam.org/item/CTGDC_1990__31_3_245_0/
%G en
%F CTGDC_1990__31_3_245_0
Veit, A. Barbara. Convergence in some ringed toposes. Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 31 (1990) no. 3, pp. 245-274. http://archive.numdam.org/item/CTGDC_1990__31_3_245_0/

1 R. Arens and J. Dugundji, Topologies for Function Spaces, Pacific J. Math. 1(1951); | MR | Zbl

2 M. Artin, A. Grothendieck, and J.L. Verdier, Théorie des topos et cohomologie étale des schémas (SGA 4), vol.1, Lecture Notes in Math. 269, Springer Verlag 1972; | MR | Zbl

3 E.J. Dubuc, Sur les modèles de la géométrie différentielle synthétique, Cahiers de Top. et Géom. Diff., vol.XX-3(1979) ; | Numdam | MR | Zbl

4a E.J. Dubuc, C∞-Schemes, Matematisk Institut of the Aarhus Universitet, Preprint Series 1979/80 No.3; | Zbl

4b E.J. Dubuc, C∞-Schemes, Amer. J. Math. 103(4)(1981); | Zbl

5 C. Ehresmann, Les prolongements d'une variété différentiable, C.R.A.S. Paris 233(1951), pp. 598, 777 and 1081; | Zbl

6 M. Makkai and G.E. Reyes, First Order Categorical Logic, Lecture Notes in Math. 611, Springer Verlag 1977; | MR | Zbl

7 I. Moerdijk and G.E. Reyes, Smooth Spaces versus Continuous Spaces in Models for Synthetic Differential Geometry, J. Pure Appl. Alg. 32(1984); | MR | Zbl

8 I. Moerdijk and G.E. Reyes, A Smooth Version of the Zariski Topos, Advances in Math. 65 (1987); | MR | Zbl

9 A. Kock, Synthetic Differential Geometry, London Math. Soc. Lecture Notes Series 51, Cambridge University Press 1981; | MR | Zbl

10 C. Kuratowski, Topologie, vol.1, 4th ed., Warszawa 1958; | Zbl

11 G.E. Reyes, Théorie des modèles et faisceaux, Advances in Math. 30 (1978), 156-170; | MR | Zbl

12 G. E. Reyes (ed.), Géométrie Différentielle Synthétique, Rapports de Recherche 11 et 12, Dépt. Math. Stat. Universite de Montréal, 1981;

13 L.A. Steen and J.A. Seebach, Counterexamples in Topology, 2nd ed., Springer Verlag 1978; | MR | Zbl

14 L.N. Stout, Topological Properties of the Real Numbers Object in a Topos, Cahiers de Top. et Géom. Diff., vol. XVII-3 (1976); | Numdam | MR | Zbl

15 A.B. Veit, Il forcing come principio logico per la costruzione dei fasci, Rend. Mat. (VI), vol.11, 3/4 (1978); | Zbl

16 A. Weil, Théorie des points proches sur les variétés différentiables, Colloq. Top. et Géom. Diff., Strasbourg 1953. | MR | Zbl