∞-Lie theory

∞-Lie groupoid

∞-Lie algebroid

Chevalley-Eilenberg algebra

Weil algebra

∞-Lie differentiation and integration

path ∞-groupoid

infinitesimal path ∞-groupoid?

integration of ∞-Lie algebroid valued differential forms

invariant polynomial

differential cohomology in an (∞,1)-topos

∞-Lie algebroid valued differential forms

curvature?

integration

Cartan-Ehresmann ∞-connection

Edit this sidebar

Last revised on May 13, 2010 at 10:38:07. See the history of this page for a list of all contributions to it.