Notes on pre-Frölicher spaces

Abstract

In this work we introduce a class of Sikorski differential spaces (M, D) called pre-Fr¨olicher spaces, on which the process of yielding a Fr¨olicher structure on the underlying set M is D preserving, their category we denote by preFrl. We investigate some algebraic properties on these spaces whose subsequent geometric properties are mostly similar to those of smooth manifolds, except for the invariance of dimension, and also that preFrl naturally induces a Cartesian closed subcategory of the category Frl in which there is no discrete object. Using this Cartesian property, it is shown that the Gelfand representation is a smooth map, that the tangent as well as cotangent bundles are made smooth spaces in an unusual but more natural way via smooth curves.