Hopf comonads on naturally Frobenius map-monoidales

Abstract

We study monoidal comonads on a naturally Frobenius map-monoidale $M$ in a monoidal bicategory $\mathcal{M}$. We regard them as bimonoids in the duoidal hom-category $\mathcal{M}(M,M)$, and generalize to that setting various conditions distinguishing classical Hopf algebras among bialgebras; in particular, we define a notion of antipode in that context. Assuming the existence of certain conservative functors and the splitting of idempotent 2-cells in $\mathcal{M}$, we show all these Hopf-like conditions to be equivalent. Our results imply in particular several equivalent characterizations of Hopf algebras in braided monoidal categories, of small groupoids, of Hopf algebroids over commutative base algebras, of weak Hopf algebras, and of Hopf monads in the sense of Bruguières and Virelizier.

37 pages, a number of commutative diagrams

References in corpus (2)

• Hopf monoidal comonads
• Generalized Hopf Modules for bimonads

Cited by in corpus (6)

• Hopf polyads, Hopf categories and Hopf group monoids viewed as Hopf monads
• A Larson-Sweedler Theorem for Hopf V-Categories
• Oplax Hopf Algebras
• On higher monoidal $\infty$-categories
• On duoidal $\infty$-categories
• Quasi-compact group schemes, Hopf sheaves, and their representations