×

A smooth version of the Zariski topos. (English) Zbl 0648.18006

The category M of (finite-dimensional) smooth manifolds has two limitations: it is not Cartesian closed (in particular, the space of maps between two objects need not be a smooth manifold); there is no convenient language to describe things in the “infinitely small”. Non- standard analysis initiated by A. Robinson addresses the second limitation, and the theory of differentiable spaces of Chen and the theory of convenient vector spaces of Fröhlicher, Kriger, and others address the first limitation. The aim of the paper under review is to construct a Cartesian closed category L containing M as in the previous approaches. In addition to this, L contains nilpotent and invertible infinitesimals and infinitely large natural numbers. Moreover, L is a Grothendieck topos.
Reviewer: L.Vaserstein

MSC:

18B25 Topoi
18D15 Closed categories (closed monoidal and Cartesian closed categories, etc.)
58A05 Differentiable manifolds, foundations
03H05 Nonstandard models in mathematics
PDFBibTeX XMLCite
Full Text: DOI Link

References:

[1] Bělair, L., Calcul Infinitésimal en Géometric Différentielle Synthétique, (Masters Thesis (1981), Univ. de Montréal) · Zbl 0561.51018
[2] Bott, R.; Tu, L. W., Differential Forms in Algebraic Topology, (Springer Graduate Texts in Mathematics, Vol. 82 (1982), Springer: Springer Berlin) · Zbl 0496.55001
[3] Chen, K. T., Iterated path integrals, Bull. Amer. Math. Soc., 83 (1977) · Zbl 0389.58001
[4] Chen, K. T., The Euler operator, Arch. Rational Mech. Anal., 75 (1980)
[5] Demazure, A.; Gabriel, P., (Groupes algébriques, Tome 1 (1970), Masson-North-Holland: Masson-North-Holland Amsterdam)
[6] Dubuc, E. J., \(C^∞\)-schemes, Amer. J. Math., 103, 4 (1981)
[7] Frölicher, A., Smooth Structures, (Springer LNM, Vol. 962 (1980), Springer: Springer Berlin)
[8] Kock, A., Synthetic Differential Geometry, (LMS Lecture Notes Series, Vol. 51 (1981), Cambridge Univ. Press: Cambridge Univ. Press London) · Zbl 0466.51008
[9] Kriegl, A., Die richtige Räume für Analysis im Unendlich-Dimensionalen, Monatsch. Math., 91 (1982) · Zbl 0489.46035
[10] Michor, P., A convenient setting for differential geometry and global analysis, I, II, Cahiers Topologic Géom. Différentielle, 25 (1984) · Zbl 0594.58011
[11] I. Moerdijkin; I. Moerdijkin
[12] Moerdijk, I.; Reyes, G. E., Smooth spaces versus continuous spaces in models for synthetic differential geometry, J. Pure Appl. Algebra, 32 (1984) · Zbl 0535.18003
[13] Moerdijk, I.; Reyes, G. E., Cohomology theories in synthetic differential geometry, (Kock, A., Category Theoretic Methods in Geometry. Category Theoretic Methods in Geometry, Various Publications Series 35 (1983), Aarhus University), (Proceedings Aarhus, 1983) · Zbl 0533.18005
[14] Ostrand, P. A., Covering dimension in general spaces, Gen. Top. Its Appl., 1 (1971) · Zbl 0232.54044
[15] van Quê, N.; Reyes, G. E., Smooth functors and Synthetic calculus, (Troelstra, A. S.; van Dalen, D., The L. E. J. Brouwer Centenary Symposium (1982), North-Holland: North-Holland Amsterdam) · Zbl 0544.51014
[16] Reyes, G. E., Synthetic reasoning and variable sets, (Lawvere, F. W.; Schanuel, S. H., Categories in Continuum Physics (Buffalo, 1982). Categories in Continuum Physics (Buffalo, 1982), Springer LNM, Vol. 1174 (1986), Springer-Verlag: Springer-Verlag Berlin) · Zbl 0589.51028
[17] Robinson, A., Non Standard Analysis (1966), North-Holland: North-Holland Amsterdam · Zbl 0151.00803
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.