Abstract:We introduce a nonstandard extension of the category of diffeological spaces, and demonstrate its application to the study of generalized functions. Just as diffeological spaces are defined as concrete sheaves on the site of Euclidean open sets, our nonstandard diffeological spaces are defined as concrete sheaves on the site of open subsets of nonstandard Euclidean spaces, i.e. finite dimensional vector spaces over (the quasi-asymptotic variant of) Robinson's hyperreal numbers. It is shown that nonstandard diffeological spaces form a category which is enriched over the category of diffeological spaces, is closed under small limits and colimits, and is cartesian closed. Furthermore, it can be shown that the space of nonstandard functions on the extension of a Euclidean open set is a smooth differential algebra that admits an embedding of the differential vector space of Schwartz distributions. Since our algebra of generalized functions comes as a hom-object in a category, it enables not only the multiplication of distributions but also the composition of them. To illustrate the usefulness of this property we show that the homotopy extension property can be established for smooth relative cell complexes by exploiting extended maps.

Sheaves of nonlinear generalized function spaces

Nonstandard diffeology and generalized functions

A nonlinear theory of distributional geometry

Function spaces on formal manifolds

Categorical frameworks for generalized functions

Subthermal linewidths in photoassociation spectra of cold alkaline earth atoms

Non-smooth differential geometry and algebras of generalized functions

A Category of Banach Space Functors

A class of closed manifolds in nonseparable Hilbert spaces

Generalized functions as a tool for nonsmooth nonlinear problems in mathematics and physics

Weak-* and completely isometric structure of noncommutative function algebras

Moduli spaces of sheaves via affine Grassmannians

Equivariant sheaves for classical groups acting on Grassmannians

The Hahn-Banach theorem in spaces of nonlinear generalized functions

Generalized maps between diffeological spaces

Spaceability of sets of non-injective maps

A local to global question for linear functionals

Universal properties of spaces of generalized functions

Generalized Differential Geometry

Generalized functions as sequence spaces with ultranorms

Derived Moduli Spaces of Nonlinear PDEs I: Singular Propagations