derivation Lie 2-algebra
∞-Lie theory (higher geometry)
Formal Lie groupoids
For a Lie algebra, its derivation Lie 2-algebra is the corresponding automorphism ∞-Lie algebra:
it is the strict Lie 2-algebra coming from the differential crossed module that is given by the chain complex
equipped with the canonical Lie action? of the derivation Lie algebra? on .
Created on August 28, 2011 13:23:15
by Urs Schreiber