17
votes
4answers
1k views

Does the forgetful functor {Hopf Algebras}→{Algebras} have a right adjoint?

(Alternate title: Find the Adjoint: Hopf Algebra edition) I was chatting with Jonah about his question Hopf algebra structure on $\prod_n A^{\otimes n}$ for an algebra $A$. It's very closely related ...