Schreiber
Lie theory

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 21:36:15 by Urs Schreiber (134.100.222.156)