Monadic Decompositions and Classical Lie Theory

Abstract

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

The new version of the file simplifies the exposition of the original one while the former is more detailed