On Lie algebras in the category of Yetter-Drinfeld modules (Q1264237)

Let \(\mathcal{YD}^K_K\) denote the category of Yetter-Drinfeld modules over a Hopf algebra \(K\) (with bijective antipode over a field \(k\)). The author introduces the notion of a (generalized) Lie algebra in \(\mathcal{YD}^K_K\) such that the set of primitive elements \(P(H)\) is a Lie algebra in this sense, and shows that these Lie algebras have universal enveloping algebras which turn out to be Hopf algebras in \(\mathcal{YD}^K_K\).