Abstract: We compare various different definitions of "the category of smooth objects". The definitions compared are due to Chen, Fr"olicher, Sikorski, Smith, and Souriau. The method of comparison is to construct functors between the categories that enable us to see how the categories relate to each other. This produces a diagram of categories with the category of Fr"olicher spaces sitting at its centre. Our method of study involves finding a general context into which these categories can be placed. This involves considering categories wherein objects are considered in relation to a certain collection of standard test objects. This therefore applies beyond the question of categories of smooth spaces.
Recommendations
Cited in
(34)- Functional distribution monads in functional-analytic contexts
- A regulator for smooth manifolds and an index theorem
- Categories of abstract smooth models and their singular envelopes
- Correctness of automatic differentiation via diffeologies and categorical gluing
- Simplicial cochain algebras for diffeological spaces
- Suitable spaces for shape optimization
- A novel approach to sheaves on diffeological spaces
- The Isbell monad
- Diffeological vector pseudo-bundles
- On the smoothness of functors
- Convenient categories of smooth spaces
- scientific article; zbMATH DE number 7255212 (Why is no real title available?)
- Watts spaces and smooth maps
- Thin homotopy and the holonomy approach to gauge theories
- Higher order automatic differentiation of higher order functions
- Smoothness in relative geometry
- Mayer-Vietoris sequence for generating families in diffeological spaces
- Frölicher structures, diffieties, and a formal KP hierarchy
- Smooth Homotopy of Infinite-Dimensional 𝐶^{∞}-Manifolds
- On diffeologies from infinite dimensional geometry to PDE constrained optimization
- Smooth maps on convex sets
- On diffeologies for power sets and measures
- Constructing self-dual strings
- Fast and correct gradient-based optimisation for probabilistic programming via smoothing
- Reduction of \(L_\infty\)-algebras of observables on multisymplectic manifolds
- On colimits and model structures in various categories of manifolds
- Concrete categories and higher-order recursion. With applications including probability, differentiability, and full abstraction
- Towards optimization techniques on diffeological spaces by generalizing Riemannian concepts
- Differentiable groupoid objects and their abstract Lie algebroids
- Non-Hausdorff parallelized manifolds over geometric models of conservative programs
- Diffeological, Frölicher, and differential spaces
- Differential forms on diffeological spaces and diffeological gluing. I.
- Field theory via higher geometry. I: Smooth sets of fields
- Categorical frameworks for generalized functions
This page was built for publication: Comparative smootheology
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5200293)
