Categorical Join and Generating Families in Diffeological Spaces

: We prove that a diffeological space is diffeomorphic to the categorical join of any generating family of plots.


Introduction
Diffeological spaces were introduced by Souriau [1] as a generalization of differentiable manifolds.This setting includes not only finite-dimensional manifolds, but also manifolds with boundary, infinite-dimensional manifolds, leaf spaces of foliations, or spaces of differentiable maps.The main reference is Iglesias-Zemmour's book [2].A recent survey is [3].Many fundamental results are also exposed in nLab [4].
A diffeological structure on a set X is given by declaring which maps from open subsets of Euclidean spaces into X are considered to be smooth.These maps are called the plots of the diffeology (Section 2).They can be seen as n-dimensional curves, n ≥ 0, on X.This contravariant idea differs from the covariant classical one of declaring which real maps from a manifold X are smooth.On the other hand, the idea of an atlas on a manifold is generalized by considering a generating family of plots (Section 4).
Our main result (Theorem 2) will be to give a categorical interpretation of a generating family, namely by proving that the diffeological space is the join of the family, that is, the push-out of the pull-back.This establishes a connection between two seemingly unrelated ideas.
Most examples will be related to finite-dimensional manifolds.

Diffeological Spaces
A diffeology on the set X is a family D of set maps α : U → X called plots such that: 1.
The domain of each plot α is an open subset U ⊂ R n of some Euclidean space R n , n ≥ 0; 2.
Any constant map α : U ⊂ R n → X belongs to the family D; 3. If The map α : U → X belongs to D if and only if it locally belongs to D, that is, for each p ∈ U, there exists some open subset p ∈ V ⊂ U such that α |V belongs to D.
Note that the domain U and the Euclidean space R n , n ≥ 0, depend on the plot α.
A diffeological space (X, D) is a set X endowed with a diffeology D. Example 2. Let R be any equivalence relation on the manifold M and let π : M → M/R be the quotient map.We endow the quotient set M/R with the quotient diffeology D M /R where the map α : U → M/R belongs to D M /R if it locally factors in some plot of the manifold diffeology D M on M.

Example 3.
Let N ⊂ M be any subset of the manifold M. We endow N with the subspace diffeology formed by the plots α : U → M in the manifold diffeology D M such that α(U) ⊂ N.
The last two examples show that diffeology is a much more flexible setting than the classical one.

Smooth Maps
Example 4. Let M, N be C ∞ -manifolds endowed with the manifold diffeologies D M , D N , respectively.Then, the smooth maps between M and N as diffeological spaces are the C ∞ -maps as differentiable manifolds.
Proposition 1.The composition of two smooth maps is a smooth map.
If N ⊂ M is a subset endowed with the subspace diffeology of Example 3, then the inclusion map i N : N ⊂ M is smooth.Moreover, a map f : P → N is smooth if and only if i N • f : P → M is smooth.Example 6.By Axiom 3 of diffeology, the plots α : U → X of a diffeology are smooth maps.Definition 2. A diffeomorphism is a smooth map with a smooth inverse.

Generating Families
Definition 3. It is easy to check that the intersection of diffeologies on a set X is a diffeology on X.Then, if F is any family of set maps α i : U i ⊂ R n i → X we can consider the smallest diffeology D = F containing F .We will say that F is a generating family for the diffeology D = F .We will assume that the collection F contains all the constant plots.
Example 7. Any atlas on a manifold M is a generating family of the manifold diffeology.
Example 8. Let (X, D X ) be a diffeological space and let f : X → Y be a set map.The diffeology on Y generated by the maps f • α, with α ∈ D X , is called the final diffeology.It is formed by the maps that are locally of the form f • α for some α ∈ D X .
Example 9. Let (Y, D Y ) be a diffeological space and let f : X → Y be a set map.The initial diffeology on X is the diffeology generated by the set maps α Example 10.Let (X, D X ), (Y, D Y ) be two diffeological spaces.The product diffeology on X × Y is the intersection of the initial diffeologies for the projections p X : X × Y → X and p Y : X × Y → Y.
Example 11.The coproduct diffeology on the disjoint union X Y is generated by the final diffeologies for the inclusions i X : X → X Y and i Y : Y → X Y.
It is easy to check that the product and coproduct diffeologies verify the usual universal properties.
The following criterion of generation is very useful.
Theorem 1 ([2] Art. 1.68).Let the diffeology D = F be generated by the family F .A set map α : U ⊂ R n → X belongs to D if and only if it locally factors through some element of F (we assume that constant plots are all contained in F ).Moreover, a map f : (X,

Categorical Constructions
The category of diffeological spaces and smooth maps has limits and colimits.Here, we will show how to construct the pull-back, the push-out, and the join of the two smooth maps.Most of time, these maps will be plots of some diffeology on X.We refer to the recent paper [5] for other categorical constructions.

Pull-Back
Let α : U → X, β : V → X be two smooth maps with the same codomain.The pull-back of α and β is the set We endow it with the subspace diffeology of the product diffeology on U × V.
The projections p 1 : U × V → U and p 2 : U × V → V induce smooth maps p U : P → U, p V : P → V, which verify α • p U = β • p V and the universal property of a pull-back:

Push-Out
Let p U : P → U, p V : P → V be two smooth maps with the same domain.The pushout of p U and p V is the quotient J = (U V)/R of the coproduct U V by the equivalence relation R generated by and the universal property of a push-out:

Join
Given two smooth maps α : U → X and β : V → X, it is an exercise to check that the push-out of the pull-back of α and β is diffeomorphic to the join U * V of α and β [6], defined as follows: there is a well-defined smooth map α * β : U * V → X and maps j U : U → U * V and j V : V → U * V such that 1.
(α * β) They verify the universal property Notice that, in the definition of the join, the maps α and β are arbitrary smooth maps, so for three plots α 1 , α 2 , α 3 , one can consider the join of the maps α 1 * α 2 and α 3 .Remark 2. It is possible to define the join of an infinite number of plots, but we will not develop this idea for the sake of simplicity.Lemma 1.Let F = {α i : U i → X} is a generating family.Then, the universal map α = * i α i : U = * i U i → X of the join is a quotient map.
Proof.Let γ : W → X be a plot on X.By Theorem 1, for each p ∈ W, there exists a neighborhood W p ⊂ W such that γ factors through some α i .Hence, it factors through the disjoint union and consequently through the join.

Main Result
Next, theorem is our main result.Theorem 2. Let (X, D) be a diffeological space.A family F = {α i : U i → X} of plots is a generating family for D if and only if there is a with the maps α i and the natural maps j i : U i → U, that is, α • j i = α i for all i.
Proof.Let F be a generating family.The map α is surjective because generating families include all constant plots.

It is injective because α([u
Then, α is bijective and Corollary 1 applies.Hence, α is a diffeomorphism.
The converse statement follows from Lemma 1.
Example 12. Let X be the disjoint union of a line X 1 = R and a point X 0 = {0}, endowed with the diffeology generated by the constant plot α 0 : R 0 → X, α 0 (0) = 0, and the identity plot Example 13.Let X be the set We consider the diffeology on X generated by the two plots Then, X ∼ = U 1 * U 2 .
As we pointed out in [7], this is not the cross diffeology on X induced by the manifold diffeology of R 2 .
Example 14.The manifold diffeology on a manifold M is the join of any atlas.More precisely, let {α i ⊂ R m : U i → M} be an atlas on the manifold M m .Then where the open subsets U i ∼ = α(U i ) ⊂ M are glued by inclusions.

Conclusions
The category of diffeological spaces and smooth maps contains smooth manifolds as a full subcategory but has better properties, such as having all limits and colimits.One basic idea, that of generating families, seems to have not been fully exploited, as we show in our main Theorem 2. This kind of result has applications in Cartan calculus (see [7]).

Remark 1 .Example 1 .
Diffeological spaces are considered to be of class C ∞ .By changing C ∞ by C r in axiom (3) for some 0 ≤ r ≤ ω, we could obtain a theory for the diffeological spaces of class C r .Let M be a finite-dimensional manifold.The manifold diffeology D M is the collection of all C ∞ -maps U ⊂ R m → M defined on open subsets of Euclidean spaces with values in M.