On the duality of generalized Lie and Hopf algebras

We show how, under certain conditions, an adjoint pair of braided monoidal functors can be lifted to an adjoint pair between categories of Hopf algebras. This leads us to an abstract version of Michaelis' theorem, stating that given a Hopf algebra H  , there is a natural isomorphism of Lie algebras Q(H)⁎≅P(H∘)Q(H)⁎≅P(H∘), where Q(H)⁎Q(H)⁎ is the dual Lie algebra of the Lie coalgebra of indecomposables of H  , and P(H∘)P(H∘) is the Lie algebra of primitive elements of the Sweedler dual of H. We apply our theory to Turaev's Hopf group-(co)algebras.