# 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.