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