I am thinking of -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 -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.