Schreiber
Lie theory in an (∞,1)-topos