Hopf monads on monoidal categories
type: Item
instance of: scholarly article
title: Hopf monads on monoidal categories
zbMATH Open document ID: 1233.18002
author: Alain Bruguiéres
author: Stephen Lack
author: Alexis Virelizier
published in: Advances in Mathematics
publication date: 2011-05-10T00:00:00Z
full work available at URL: https://arxiv.org/abs/1003.1920
review text: The authors define and study Hopf monads in a monoidal category \(\mathcal C\). Bimonads on \(\mathcal C\) were introduced by \textit{I. Moerdijk} [J. Pure Appl. Algebra 168, No.2-3, 189--208 (2002; Zbl 0996.18005)] as monads \(T\) on \(\mathcal C\) such that the Eilenberg-Moors category \(T^\mathcal C\) is monoidal and the forgetful functor from \(\mathcal C^T\) to \(\mathcal C\) is strict monoidal. Hopf monads on monoidal categories with duals were introduced by the first and third authors [Adv. Math. 215, No. 2, 679--733 (2007; Zbl 1168.18002)] as those \(T\) for which \(\mathcal C^T\) also has duals, and certain natural transformations play the role of left and right antipodes. To generalize to arbitrary monoidal \(\mathcal C\), left and right fusion operators are introduced as certain natural transformations, and then \(T\) is a Hopf monad if these fusion operators are invertible. They also introduce Hopf adjunctions, and show that \(T\) is a Hopf monad if and only if its adjunction is a Hopf adjunction. Hopf monads on closed monoidal categories are characterized in categorical terms, and also in terms of antipodes. Relations between Hopf algebras and Hopf monads are studied. The main results here are that if \(A\) is a bialgebra in the lax center of \(\mathcal C\), then \(A\) is a Hopf monad if and only if \(A\) is a Hopf algebra in the center of \(\mathcal C\), and that there is a categorical equivalence between central Hopf algebras in \(\mathcal C\) and augmented Hopf monads on \(\mathcal C\). Some well-known reults on Hopf algebras extend to Hopf monads, such as Maschke's semisimplicity theorem and Sweedler's structure on Hopf modules. Finally they show that a bialgebroid is a Hopf monad if and only if it is a Hopf algebroid.
reviewed by: Earl J. Taft
Mathematics Subject Classification ID: 18C15
Mathematics Subject Classification ID: 18C20
Mathematics Subject Classification ID: 16T05
zbMATH DE Number: 5886303
zbMATH Keywords: Hopf monads
zbMATH Keywords: monoidal categories
MaRDI profile type: Publication
OpenAlex ID: W2165527471
arXiv ID: 1003.1920
cites work: Q5701018
cites work: Q5579535
cites work: Integrals for braided Hopf algebras
cites work: Hopf monads
cites work: Q3514604
cites work: Q4663631
cites work: Q5586461
cites work: Algebras, coalgebras and cotripleability
cites work: Q4100657
cites work: Q5642701
cites work: Q5570960
cites work: Q4215784
cites work: Cross products by braided groups and bosonization
cites work: Q4857364
cites work: Q4790676
cites work: Monads on tensor categories
cites work: The structure of Hopf algebras with a projection
cites work: Duals and doubles of quantum groupoids (\(\times_R\)-Hopf algebras)
cites work: The monoidal Eilenberg-Moore construction and bialgebroids
DOI: 10.1016/J.AIM.2011.02.008
Recommended article: Hopf monads: a survey with new examples and applications
Recommended article: Eilenberg-Moore and Kleisli type categories for bimonads on arbitrary categories
Recommended article: Hopf comonads on naturally Frobenius map-monoidales
Recommended article: Hopf polyads, Hopf categories and Hopf group monoids viewed as Hopf monads
Recommended article: On Hopf adjunctions, Hopf monads and Frobenius-type properties
Recommended article: Notes on bimonads and Hopf monads
Recommended article: Hopf monads
Recommended article: Hopf algebras and their generalizations from a category theoretical point of view
Recommended article: Q4790676
Recommended article: Bimonads and Hopf monads on categories
description: scientific article