Universal enveloping crossed module of a Lie crossed module

Abstract

We construct a pair of adjoint functors between the categories of crossed modules of Lie and associative algebras, which extends the classical one between the categories of Lie and associative algebras. This result is used to establish an equivalence of categories of modules over a Lie crossed module and its universal enveloping crossed module.