Hopf monads on monoidal categories

DOI10.1016/J.AIM.2011.02.008zbMATH Open1233.18002arXiv1003.1920OpenAlexW2165527471MaRDI QIDQ533951FDOQ533951

Authors: Alain Bruguiéres, Stephen Lack, Alexis Virelizier 

Publication date: 10 May 2011

Published in: Advances in Mathematics (Search for Journal in Brave)

Abstract: We define Hopf monads on an arbitrary monoidal category, extending the definition given previously for monoidal categories with duals. A Hopf monad is a bimonad (or opmonoidal monad) whose fusion operators are invertible. This definition can be formulated in terms of Hopf adjunctions, which are comonoidal adjunctions with an invertibility condition. On a monoidal category with internal Homs, a Hopf monad is a bimonad admitting a left and a right antipode. Hopf monads generalize Hopf algebras to the non-braided setting. They also generalize Hopf algebroids (which are linear Hopf monads on a category of bimodules admitting a right adjoint). We show that any finite tensor category is the category of finite-dimensional modules over a Hopf algebroid. Any Hopf algebra in the center of a monoidal category C gives rise to a Hopf monad on C. The Hopf monads so obtained are exactly the augmented Hopf monads. More generally if a Hopf monad T is a retract of a Hopf monad P, then P is a cross product of T by a Hopf algebra of the center of the category of T-modules (generalizing the Radford-Majid bosonization of Hopf algebras). We show that the comonoidal comonad of a Hopf adjunction is canonically represented by a cocommutative central coalgebra. As a corollary, we obtain an extension of Sweedler's Hopf module decomposition theorem to Hopf monads (in fact to the weaker notion of pre-Hopf monad).

Full work available at URL: https://arxiv.org/abs/1003.1920

Recommendations

• Hopf monads: a survey with new examples and applications
• Eilenberg-Moore and Kleisli type categories for bimonads on arbitrary categories
• Hopf comonads on naturally Frobenius map-monoidales
• Hopf polyads, Hopf categories and Hopf group monoids viewed as Hopf monads
• On Hopf adjunctions, Hopf monads and Frobenius-type properties
• Notes on bimonads and Hopf monads
• Hopf monads
• Hopf algebras and their generalizations from a category theoretical point of view
• scientific article; zbMATH DE number 1863401
• Bimonads and Hopf monads on categories

zbMATH Keywords

monoidal categoriesHopf monads

Mathematics Subject Classification ID

Hopf algebras and their applications (16T05) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Eilenberg-Moore and Kleisli constructions for monads (18C20)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• The structure of Hopf algebras with a projection
• Title not available (Why is that?)
• Title not available (Why is that?)
• Cross products by braided groups and bosonization
• Title not available (Why is that?)
• Title not available (Why is that?)
• Duals and doubles of quantum groupoids (\(\times_R\)-Hopf algebras)
• Integrals for braided Hopf algebras
• Hopf monads
• Title not available (Why is that?)
• Title not available (Why is that?)
• Monads on tensor categories
• The monoidal Eilenberg-Moore construction and bialgebroids
• Title not available (Why is that?)
• Lax braidings and the lax centre
• Title not available (Why is that?)
• Algebras, coalgebras and cotripleability

Cited In (77)

• On the graded center of graded categories
• Cartesian differential categories as skew enriched categories
• A diagrammatic approach to Hopf monads
• Grothendieck quasitoposes
• Weak bimonads and weak Hopf monads
• Cotwists of bicomonads and BiHom-bialgebras
• Azumaya algebras as Galois comodules.
• Monads on tensor categories
• Further results on the structure of (co)ends in finite tensor categories
• Hopf monads
• Non-degeneracy conditions for braided finite tensor categories
• Hopf monads: a survey with new examples and applications
• Antipodes, preantipodes and Frobenius functors
• Braided mixed datums and their applications on Hom-quantum groups
• Quasi-quantum groups obtained from the Tannaka-Krein reconstruction theorem
• Factorizable enriched categories and applications
• Title not available (Why is that?)
• Flat vs. filtered colimits in the enriched context
• The monoidal Eilenberg-Moore construction and bialgebroids
• Smash coproducts of monoidal comonads and Hom-entwining structures
• Bimonads and Hopf monads on categories
• The pivotal cover and Frobenius-Schur indicators
• Hopf algebras and their generalizations from a category theoretical point of view
• Green 2-functors
• The cosemisimplicity and cobraided structures of monoidal comonads
• Pivotal structures of the Drinfeld center of a finite tensor category
• Skew-monoidal categories and bialgebroids.
• Title not available (Why is that?)
• Hopf monoidal comonads
• Lie monads and dualities
• Categorical aspects of cointegrals on quasi-Hopf algebras
• Module categories of finite Hopf algebroids, and self-duality
• Pivotal objects in monoidal categories and their Hopf monads
• The fundamental theorem for weak braided bimonads
• Maschke type theorems for Hopf monoids
• Monads and distributive laws for Rota-Baxter and differential algebras
• Yetter-Drinfeld modules over weak braided Hopf monoids and center categories
• On normal tensor functors and coset decompositions for fusion categories
• Notes on bimonads and Hopf monads
• Tannaka duality and convolution for duoidal categories
• Milnor-Moore categories and monadic decomposition
• Hopf polyads
• Hopf categories
• On the category of weak bialgebras
• Hopf polyads, Hopf categories and Hopf group monoids viewed as Hopf monads
• Skew monoidal monoids
• Formal Hopf algebra theory. II: Lax centres
• Hopf comonads on naturally Frobenius map-monoidales
• Hopf monads on categories
• On unrolled Hopf algebras
• Central exact sequences of tensor categories, equivariantization and applications
• Quasi-bimonads and their representations
• Principal bundles as Frobenius adjunctions with application to geometric morphisms
• Multiplier Hopf monoids
• On Hopf adjunctions, Hopf monads and Frobenius-type properties
• Integrals for finite tensor categories
• A categorical reconstruction of crystals and quantum groups at \(q=0\)
• Comprehensive factorisation systems
• On generalized symmetries and structure of modular categories
• Galois functors and generalised Hopf modules
• A monoidal structure on the category of relative Hopf modules.
• Slack Hopf monads
• On the notion of exact sequence: from Hopf algebras to tensor categories
• Frobenius monoidal functors from (co)Hopf adjunctions
• Monoidal centres and groupoid-graded categories
• Linear distributivity with negation, star-autonomy, and Hopf monads
• Everybody knows what a normal Gabi-algebra is
• Traced Monads and Hopf Monads
• Diagrammatics for comodule monads
• Pivotality, twisted centres, and the anti-double of a Hopf monad
• Lifting coalgebra modalities and \textsf{MELL} model structure to Eilenberg-Moore categories
• Lifting coalgebra modalities and IMELL model structure to Eilenberg-Moore categories
• Oplax Hopf Algebras
• Hopf monads on biproducts
• Frobenius and quasi-Frobenius left Hopf algebroids
• On quasi-monoidal comonads and their corepresentations
• Comonadic base change for enriched categories

This page was built for publication: Hopf monads on monoidal categories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q533951)