There is a generalization of Lie theory from Lie algebras to differential graded Lie algebras. Ordinary Lie theory involves first order ordinary differential equations. Higher Lie theory may be understood as a non-linear generalization of the de Rham theorem on simplicial complexes (in Dupont's formulation), as against graphs. In this talk, we present an alternate approach to this theory, using the more elementary de Rham theorem on cubical complexes.

Along the way, we will need an interesting relationship between cubical and simplicial complexes, which has recently become better known due to its use in Lurie's theory of straightening for infinity categories.