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