Hopf comonads on naturally Frobenius map-monoidales (Q908323)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Hopf comonads on naturally Frobenius map-monoidales |
scientific article |
Statements
Hopf comonads on naturally Frobenius map-monoidales (English)
0 references
4 February 2016
0 references
There are several ways to distinguish (classical) Hopf algebras among bialgebras: the existence of an antipode; the fact that the monad \(A\otimes -\) on the category of vector spaces is a left Hopf monad; the fact that the comonad \(A\otimes -\) is a left Hopf comonad; the fact that the category of Hopf modules over \(A\) is equivalent to the category of vector spaces; etc. These results are extended to monoidal comonads on a naturally Frobenius map-monoidale \(M\) in a monoidal bicategory \(\mathcal{M}\), seen as bimonoids in the duoidal hom-category \(\mathcal{M}(M,M)\). In particular, a notion of antipode is introduced. Under technical restrictions, it is shown that these conditions are equivalent. As examples, one obtains Hopf monoids in a braided monoidal category, small groupoids, Hopf algebroids over commutative algebras, weak Hopf algebras, Bruguières and Virelizier's Hopf monads.
0 references
monoidal comonad
0 references
duoidal category
0 references
Hopf monoid
0 references
Hopf algebroid
0 references