Higher differentiation via higher formal groupoids

Christopher L. Rogers

We solve the differentiation problem for Lie $\infty$-groups. Our approach builds on a classical version of Cartier duality which canonically identifies the Hopf algebra of point d…