In this article we describe varieties of Lie algebras via algebraic exponentiation, a concept introduced by Gray in his Ph.D. thesis. For π an infinite field of characteristic different from 2, we prove that the variety of Lie algebras over π is the only variety of non-associative π-algebras which is a non-abelian locally algebraically cartesian closed (LACC) category. More generally, a variety of n-algebras V is a non-abelian (LACC) category if and only if n=2 and V=π«ππΎ_π. In characteristic 2 the situation is similar, but here we have to treat the identities xx=0 and xy=βyx separately, since each of them gives rise to a variety of non-associative π-algebras which is a non-abelian (LACC) category.
GarcΓa-MartΓnez, X., & Van der Linden, T. (2019). A characterisation of Lie algebras via algebraic exponentiation. Advances in mathematics, 341, 92-117. https://doi.org/10.1016/j.aim.2018.10.034 (Original work published 2019)