I am thinking of $\infty$-Lie theory as described in section 4 of Differential Nonabelian Cohomology.

The main point to notice is that one can think of Lie integration as forming the fundamental $\infty$-groupoid (or one of its truncations) of a certain generalized smooth space.

</img>

Created on December 2, 2008 at 21:15:59. See the history of this page for a list of all contributions to it.