smooth set


Differential geometry

synthetic differential geometry


from point-set topology to differentiable manifolds

geometry of physics: coordinate systems, smooth spaces, manifolds, smooth homotopy types, supergeometry



smooth space


The magic algebraic facts




tangent cohesion

differential cohesion

graded differential cohesion

id id fermionic bosonic bosonic Rh rheonomic reduced infinitesimal infinitesimal & étale cohesive ʃ discrete discrete continuous * \array{ && id &\dashv& id \\ && \vee && \vee \\ &\stackrel{fermionic}{}& \rightrightarrows &\dashv& \rightsquigarrow & \stackrel{bosonic}{} \\ && \bot && \bot \\ &\stackrel{bosonic}{} & \rightsquigarrow &\dashv& Rh & \stackrel{rheonomic}{} \\ && \vee && \vee \\ &\stackrel{reduced}{} & \Re &\dashv& \Im & \stackrel{infinitesimal}{} \\ && \bot && \bot \\ &\stackrel{infinitesimal}{}& \Im &\dashv& \& & \stackrel{\text{étale}}{} \\ && \vee && \vee \\ &\stackrel{cohesive}{}& ʃ &\dashv& \flat & \stackrel{discrete}{} \\ && \bot && \bot \\ &\stackrel{discrete}{}& \flat &\dashv& \sharp & \stackrel{continuous}{} \\ && \vee && \vee \\ && \emptyset &\dashv& \ast }


Lie theory, ∞-Lie theory

differential equations, variational calculus

Chern-Weil theory, ∞-Chern-Weil theory

Cartan geometry (super, higher)

Cohesive toposes

cohesive topos

cohesive (∞,1)-topos

cohesive homotopy type theory



Presentation over a site

Structures in a cohesive (,1)(\infty,1)-topos

structures in a cohesive (∞,1)-topos

Structures with infinitesimal cohesion

infinitesimal cohesion?


Smooth spaces


A smooth space or smooth set as discussed here, is a joint generalization of smooth manifolds and diffeological spaces: it is a space that can be probed by smooth Cartesian spaces (in the sense discussed in the exposition at motivation for sheaves, cohomology and higher stacks).

Following the logic of space and quantity, a smooth space is, in full generality, a space that may be probed by standard smooth test spaces. See generalized smooth space for more on the general idea and for examples and variations.

Here standard smooth test spaces may be taken to be smooth manifolds. But since manifolds themselves are built from gluing together smooth open balls D int n nD^n_{int} \subset \mathbb{R}^n or equivalently Cartesian spaces n\mathbb{R}^n, one may just as well consider Cartesian spaces test spaces. Finally, since D nD^n is diffeomorphic to n\mathbb{R}^n, one can just as well take just the cartesian smooth spaces n\mathbb{R}^n as test objects.


Note on terminology.

In view of the smooth homotopy types to be discussed in geometry of physics -- smooth homotopy types, the structures discussed now are properly called smooth 0-types or maybe smooth h-sets or just smooth sets. While this subsumes smooth manifolds which are indeed sets equipped with (particularly nice) smooth structure, it is common in practice to speak of manifolds as “spaces” (indeed as topological spaces equipped with smooth structure). Historically the Cartesian space and Euclidean space of Newtonian physics are the archetypical examples of smooth manifolds and modern differential geometry developed very much via motivation by the study of the spaces in general relativity, namely spacetimes. Unfortunately, in a parallel development the word “space” has evolved in homotopy theory to mean (just) the homotopy types represented by an actual topological space (their fundamental infinity-groupoids). Ironically, with this meaning of the word “space” the original Euclidean spaces become equivalent to the point, signifying that the modern meaning of “space” in homotopy theory is quite orthogonal to the original meaning, and that in homotopy theory therefore one should better stick to “homotopy types”.

Since historically grown terminology will never be fully logically consistent, and since often the less well motivated terminology is more widely understood, we will follow tradition here and take the liberty to use “smooth sets” and “smooth spaces” synonymously, the former when we feel more formalistic, the latter when we feel more relaxed.


The category of smooth spaces is the sheaf topos

SmoothSp:=Sh(Diff) SmoothSp := Sh(Diff)

of sheaves on the site Diff of smooth manifolds equipped with its standard coverage (Grothendieck topology) given by open covers of manifolds.

Since DiffDiff is equivalent to the category of manifolds embedded into \mathbb{R}^\infty, DiffDiff is an essentially small category, so there are no size issues involved in this definition.

But since manifolds themselves are defined in terms of gluing conditons, the Grothendieck topos SmoothSpSmoothSp depends on much less than all of DiffDiff.


Ball:={(D int nD int m)Diff|n,m} Ball := \{ (D^n_{int} \to D^m_{int}) \in Diff | n,m \in \mathbb{N}\}


CartSp:={( n m)Diff|n,m} CartSp := \{ (\mathbb{R}^n \to \mathbb{R}^m) \in Diff | n,m \in \mathbb{N}\}

be the full subcategories BallBall and CartSp of DiffDiff on open balls and on cartesian spaces, respectively. Then the corresponding sheaf toposes are still those of smooth spaces:

SmoothSp Sh(Ball) Sh(CartSp). \begin{aligned} SmoothSp &\simeq Sh(Ball) \\ & \simeq Sh(CartSp) \end{aligned} \,.


  • The category of ordinary manifolds is a full subcategory of smooth spaces:

    DiffSmoothSp. Diff \hookrightarrow SmoothSp \,.

    When one regards smooth spaces concretely as sheaves on DiffDiff, then this inclusion is of course just the Yoneda embedding.

  • The full subcategory

    DiffSpSmoothSp DiffSp \subset SmoothSp

    on concrete sheaves is called the category of diffeological spaces.

    • The standard class of examples of smooth spaces that motivate their use even in cases where one starts out being intersted just in smooth manifolds are mapping spaces: for XX and Σ\Sigma two smooth spaces (possibly just ordinary smooth manifolds), by the closed monoidal structure on presheaves the mapping space [Σ,X][\Sigma,X], i.e. the space of smooth maps ΣX\Sigma \to X exists again naturally as a smooth. By the general formula it is given as a sheaf by the assignment

      [Σ,X]:USmoothSp(Σ×U,X). [\Sigma,X] : U \mapsto SmoothSp(\Sigma \times U, X) \,.

      If XX and Σ\Sigma are ordinary manifolds, then the hom-set on the right sits inside that of the underlying sets SmoothSp(Σ×U,X)Set(|Σ|×|U|,|X|)SmoothSp(\Sigma \times U , X) \subset Set(|\Sigma| \times |U|, |X| ) so that [Σ,X][\Sigma,X] is a diffeological space.

      The above formula says that a UU-parameterized family of maps ΣX\Sigma \to X is smooth as a map into the smooth space [Σ,X][\Sigma,X ] precisely if the corresponding map of sets U×ΣXU \times \Sigma \to X is an ordinary morphism of smooth manifolds.

  • The canonical examples of smooth spaces that are not diffeological spaces are the sheaves of (closed) differential forms:

    K n:UΩ closed n(U). K^n : U \mapsto \Omega^n_{closed}(U) \,.
  • The category

    SimpSmoothSp:=SmoothSp Δ op SimpSmoothSp := SmoothSp^{\Delta^{op}}

    equivalently that of sheaves on DiffDiff with values in simplicial sets

    Sh(Diff,SSet) \cdots \simeq Sh(Diff, SSet)

    of simplicial objects in smooth spaces naturally carries the structure of a homotopical category (for instance the model structure on simplicial sheaves or that of a Brown category of fibrant objects (if one restricts to locally Kan simplicial sheaves)) and as such is a presentation for the (∞,1)-topos of smooth ∞-stacks.


Connectedness, locality, cohesion

The topos of smooth space is

Topos points and stalks


For every nNn \in N there is a topos point

D n:SetD * n(D n) *SmoothSp D^n : Set \stackrel{\stackrel{(D^n)^*}{\leftarrow}} {\stackrel{D^n_*}{\to}} SmoothSp

where the inverse image morphism – the stalk – is given on ASmoothSpA \in SmoothSp by

(D n) *A:=colim nU0A(U), (D^n)^* A := \colim_{\mathbb{R}^n \supset U \ni 0} A(U) \,,

where the colimit is over all open neighbourhoods of the origin in n\mathbb{R}^n.


SmoothSp has enough points: they are given by the D nD^n for nn \in \mathbb{N}.

Variants and generalizations

Synthetic differential geometry

The site CartSp smooth{}_{smooth} may be replaced by the site CartSp th{}_{th} (see there) whose objects are products of smooth Cartesian spaces with infinitesimally thickened points. The corresponding sheaf topos Sh(CartSp th)Sh(CartSp_{th}) is called the Cahiers topos. It contains smooth spaces with possibly infinitesimal extension and is a model for synthetic differential geometry (a “smooth topos”), which Sh(CartSp)Sh(CartSp) is not.

The two toposes are related by an adjoint quadruple of functors that witness the fact that the objects of Sh(CartSp th)Sh(CartSp_{th}) are possiby infinitesimal extensions of objects in Sh(CartSp)Sh(CartSp). For more discussion of this see synthetic differential ∞-groupoid

Higher smooth geometry

The topos of smooth spaces has an evident generalization from geometry to higher geometry, hence from differential geometry to higher differential geometry: to an (∞,1)-topos of smooth ∞-groupoids. See there for more details.


Lecture notes are at

The concrete smooth spaces are known as diffeological spaces. See there for more references.

Aspects of the category of smooth spaces is discussed with an eye towards its generalization to smooth ∞-groupoids and their homotopy localization in section 3.4, from page 29 on in

The topos points of Sh(Diff)Sh(Diff) are discussed there in example 4.1.2 on p. 36. (they are mentioned before on p. 31).

As a cohesive topos smooth spaces are discuss in sections 1.2, 1.3 and 3.3 in

Revised on September 14, 2017 16:36:10 by Urs Schreiber (