No label defined (Q4526527)

This paper compares the category of differential spaces of \textit{R. Sikorski} [Colloq. Math. 24, 45-79 (1971; Zbl 0226.53004)] and that of Fröhlicher spaces of \textit{Fröhlicher} and \textit{Kriegel} [Linear spaces and differential theory, Wiley, New York, 1977]. It is well known that the categgory of Fröhlicher spaces is topological over sets and is Cartesian closed under the usual set adjunction. The author has shown that the category of differential spaces is topological over sets but is not Cartesian closed under the usual set adjunction. The tangent and cotangent bundles of an arbitrary Fröhlicher space are defined and are shown to coincide with the usual ones if the space happens to be a smooth manifold. Such familiar notions of differential geometry as metric, connection, etc. are shown to survive naturally in Fröhlicher spaces. For the entire collection see [Zbl 0952.00067].