Comparative smootheology

MaRDI QIDQ5200293zbMATHFDO

Authors Andrew James Stacey

Publication date 1 August 2011

Full work available at URL https://arxiv.org/abs/0802.2225

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

generalised smooth spaces

Mathematics Subject Classification ID

Abstract manifolds and fiber bundles (category-theoretic aspects) (18F15) Differential spaces (58A40)

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

• Convenient categories of smooth spaces
• scientific article; zbMATH DE number 1859650
• DIFFEOLOGICAL SPACES
• On the smoothness of functors
• Categories of abstract smooth models and their singular envelopes

Cited in

(28)

• Reduction of \(L_\infty\)-algebras of observables on multisymplectic manifolds
• Watts spaces and smooth maps
• Simplicial cochain algebras for diffeological spaces
• A regulator for smooth manifolds and an index theorem
• Correctness of automatic differentiation via diffeologies and categorical gluing
• scientific article; zbMATH DE number 7255212 (Why is no real title available?)
• Mayer-Vietoris sequence for generating families in diffeological spaces
• Constructing self-dual strings
• Convenient categories of smooth spaces
• A novel approach to sheaves on diffeological spaces
• On the smoothness of functors
• Categorical frameworks for generalized functions
• On diffeologies for power sets and measures
• Concrete categories and higher-order recursion. With applications including probability, differentiability, and full abstraction
• Categories of abstract smooth models and their singular envelopes
• Smooth Homotopy of Infinite-Dimensional 𝐶^{∞}-Manifolds
• The Isbell monad
• Fast and correct gradient-based optimisation for probabilistic programming via smoothing
• Smoothness in relative geometry
• Functional distribution monads in functional-analytic contexts
• Suitable spaces for shape optimization
• Diffeological vector pseudo-bundles
• On colimits and model structures in various categories of manifolds
• Thin homotopy and the holonomy approach to gauge theories
• scientific article; zbMATH DE number 7566054 (Why is no real title available?)
• On diffeologies from infinite dimensional geometry to PDE constrained optimization
• Smooth maps on convex sets
• Frölicher structures, diffieties, and a formal KP hierarchy

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)