"Diffeology is an extension of differential geometry. With a minimal set of axioms, diffeology allows us to deal simply but rigorously with objects which do not fall within the usual field of differential geometry: quotients of manifolds (even non-Hausdorff), spaces of functions…
