# Convenient Categories of Smooth Spaces

@article{Baez2008ConvenientCO,
title={Convenient Categories of Smooth Spaces},
author={John C. Baez and Alexander E. Hoffnung},
journal={arXiv: Differential Geometry},
year={2008}
}
• Published 10 July 2008
• Mathematics
• arXiv: Differential Geometry
A "Chen space" is a set X equipped with a collection of "plots" - maps from convex sets to X - satisfying three simple axioms. While an individual Chen space can be much worse than a smooth manifold, the category of all Chen spaces is much better behaved than the category of smooth manifolds. For example, any subspace or quotient space of a Chen space is a Chen space, and the space of smooth maps between Chen spaces is again a Chen space. Souriau's "diffeological spaces" share these convenient…
125 Citations
Derived smooth manifolds
We define a simplicial category called the category of derived manifolds. It contains the category of smooth manifolds as a full discrete subcategory, and it is closed under taking arbitrary
The homotopy theory of diffeological spaces
• Mathematics
• 2012
Diffeological spaces are generalizations of smooth manifolds. In this paper, we study the homotopy theory of diffeological spaces. We begin by proving basic properties of the smooth homotopy groups
Mayer–Vietoris Sequence for Differentiable/Diffeological Spaces
• Mathematics
Trends in Mathematics
• 2019
The idea of a space with smooth structure is a generalization of an idea of a manifold. K. T. Chen introduced such a space as a differentiable space in his study of a loop space to employ the idea of
A Homotopy Theory for Diffeological Spaces ( Thesis format : Monograph ) by Enxin
Diffeological spaces are generalizations of smooth manifolds. In this paper, we study the homotopy theory of diffeological spaces. We begin by proving basic properties of the smooth homotopy groups
Parametrized and Functional Differential Geometry
The aim of this chapter is to present flexible tools to do differential geometry on spaces of fields, i.e., on spaces of “functions” between generalized “spaces”. We choose here a viewpoint that is
Categorical frameworks for generalized functions
• Mathematics
• 2014
We tackle the problem of finding a suitable categorical framework for generalized functions used in mathematical physics for linear and non-linear PDEs. We are looking for a Cartesian closed category
A Lie algebra for Fr\"olicher groups
Fr\"olicher spaces form a cartesian closed category which contains the category of smooth manifolds as a full subcategory. Therefore, mapping groups such as C^\infty(M,G) or \Diff(M), but also
Diffeological Coarse Moduli Spaces of Stacks over Manifolds
• Mathematics
• 2014
We show that there is a functor from stacks over smooth manifolds to the category of concrete sheaves of sets over manifolds that is the left adjoint of the Grothendieck construction taking concrete
Central extensions of smooth 2–groups and a finite-dimensional string 2–group
We provide a model of the String group as a central extension of finite-dimensional 2‐groups in the bicategory of Lie groupoids, left-principal bibundles, and bibundle maps. This bicategory is a
Sheaves of Higher Categories on Generalised Spaces
We study the extension of higher presheaves on a category C to its free cocompletion Ĉ. Any pretopology on C induces a canonical pretopology of generalised coverings on Ĉ. We show that with respect

## References

SHOWING 1-10 OF 68 REFERENCES
Differential Algebraic Topology: From Stratifolds to Exotic Spheres
This book presents a geometric introduction to the homology of topological spaces and the cohomology of smooth manifolds. The author introduces a new class of stratified spaces, so-called
A Lie algebra for Fr\"olicher groups
Fr\"olicher spaces form a cartesian closed category which contains the category of smooth manifolds as a full subcategory. Therefore, mapping groups such as C^\infty(M,G) or \Diff(M), but also
Iterated Integrals of Differential Forms and Loop Space Homology
We continue to define iterated integrals 5w ... w, where wl, *., w, are 1forms. Such iterated integrals will be defined for forms wi, *-*, w, of arbitrary degrees on a differentiable manifold or,
Higher gauge theory I: 2-Bundles
I categorify the definition of fibre bundle, replacing smooth manifolds with differentiable categories, Lie groups with coherent Lie 2-groups, and bundles with a suitable notion of 2-bundle. To link
Sheaves in geometry and logic: a first introduction to topos theory
• Mathematics
• 1992
This text presents topos theory as it has developed from the study of sheaves. Sheaves arose in geometry as coefficients for cohomology and as descriptions of the functions appropriate to various
Quasitopoi over a base category
• Mathematics, Philosophy
• 2006
In this paper we develop the theory of quasispaces (for a Grothendieck topology) and of concrete quasitopoi, over a suitable base category. We introduce the notion of f-regular category and of
FINITE SETS AND SYMMETRIC SIMPLICIAL SETS
The category of finite cardinals (or, equivalently, of finite sets) is the symmetric analogue of the category of finite ordinals, and the ground category of a relevant category of presheaves, the
Parallel Transport and Functors
• Mathematics
• 2009
Parallel transport of a connection in a smooth fibre bundle yields a functor from the path groupoid of the base manifold into a category that describes the fibres of the bundle. We characterize
ON COBORDISM OF MANIFOLDS WITH CORNERS
This work sets up a cobordism theory for manifolds with corners and gives an identication with the homotopy of a certain limit of Thom spectra. It thereby creates a geometrical interpretation of