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
    0 references
    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
    0 references
    monoidal comonad
    0 references
    duoidal category
    0 references
    Hopf monoid
    0 references
    Hopf algebroid
    0 references

    Identifiers