# 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} }

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

- Mathematics
- 2008

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

- MathematicsTrends 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

- 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…

Parametrized and Functional Differential Geometry

- Mathematics
- 2014

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

- Mathematics
- 2009

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

- Mathematics
- 2011

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

- Mathematics
- 2020

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

- Mathematics
- 2010

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

- Mathematics
- 2009

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

- Mathematics
- 1973

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

- Mathematics
- 2004

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

- Mathematics
- 2002

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

- Mathematics
- 2000

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…