Restricted Lie algebras via monadic decomposition

Abstract

We give a description of the category of restricted Lie algebras over a field $\mathbb{k}$ of prime characteristic by means of monadic decomposition of the functor that computes the $\mathbb{k}$-vector space of primitive elements of a $\mathbb{k}$-bialgebra.