∞-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