# bialgebras and hopf algebras over a category

I am currently looking for a reference on how to define a bialgebra over a category or a Hopf algebra over a category,

I have consulted in several texts of Hopf algebras but only define these structures on rings or fields.

I am grateful for the person who can guide me on this topic.

• Over a differential graded category, or an additive category, or what? – Kevin Carlson May 7 '17 at 17:39
• The article speak only about a category. Probably over a additive category. – carlos arturo Hurtado May 7 '17 at 18:26
• Would you share a citation? – Kevin Carlson May 7 '17 at 19:06
• arxiv.org/abs/1610.05999 in preliminaries the article speak about bialgebras and hopf algebras over a symmetric monoidal category. But there aren't references – carlos arturo Hurtado May 7 '17 at 19:16

The difference between Hopf algebra "in", as opposed to "over," something is actually crucial here. A Hopf algebra in a symmetric monoidal category is just an object with monoidal and comonoid structures which are homomorphisms for each other, along with an antipode map satisfying the usual Hopf algebra axioms. The point is that this is an internalization, not a generalization of possible bases to be defined over. So a Hopf algebra in the category of $k$-vector spaces is the same as a Hopf algebra over $k$.