Monadic Decompositions and Classical Lie Theory

Alessandro Ardizzoni, José Gómez-Torrecillas, Claudia Menini

We show that the functor from bialgebras to vector spaces sending a bialgebra to its subspace of primitives has monadic length at most 2.