Schreiber
Lie theory

I am thinking of $\mathrm{\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 $\mathrm{\infty }$-groupoid (or one of its truncations) of a certain generalized smooth space.