Formal Lie groupoids
A path -groupoid of a smooth space (or generalized smooth space) is a diffeological n-groupoid which is
Its j-morphisms are given by (possibly equivalence classes of) -dimensional smooth paths in , i.e. usually smooth maps . Composition is by gluing of such maps.
See path groupoid.
Definitions of path 2-groupoids as strict 2-groupoids internal to diffeological spaces appear (at least) in
A realization of the path 3-groupoid as a Gray-groupoid internal to diffeological spaces appears in
Revised on September 4, 2010 14:38:33
by Urs Schreiber