Weak bimonads and weak Hopf monads
type: Item
instance of: scholarly article
title: Weak bimonads and weak Hopf monads
zbMATH Open document ID: 1233.18003
author: Stephen Lack
author: Ross H. Street
author: Gabriella Böhm
published in: Journal of Algebra
publication date: 2011-05-16T00:00:00Z
full work available at URL: https://arxiv.org/abs/1002.4493
review text: It was shown by Pareigis that an algebra \(A\) over a field is a bialgebra if and only if the category of (left or right) A-modules is monoidal and the forgetful functor from the category of \(A\)-modules to the category of vector spaces is strict monoidal. This was extended to bialgebras in a braided monoidal category, see \textit{S. Majid} [New York, NY: Marcel Dekker. Lect. Notes Pure Appl. Math. 158, 55--105 (1994; Zbl 0812.18004)], and was generalized by \textit{I. Moerdijk} to monoidal categories [J. Pure Appl. Algebra 168, No.2-3, 189--208 (2002; Zbl 0996.18005)]. He defined a bimonad on a monoidal category \(M\) as a monad \(T\) on Msuch that the Eilenberg-Moore category \(M^T\) of \(T\)-algebras is monoidal and the forgetful functor from \(M^T\) to \(M\) is is strict monoidal,i.e., the monoidal structure of M lifts to \(M^T\). Pareigis' result was generalized to weak bialgebras by \textit{K. Szlachanyi} [New York, NY: Marcel Dekker. Lecture Notes in Pure and Applied Mathematics 239, 291--307 (2005; Zbl 1064.18008)] where the condition on the forgetful functor is that it obey a separable Frobenius condition, i.e., it has both a monoidal and an opmonoidal structure which satisfy some compatiblity properties. Weak bialgebras can be defined in \(sny\) braided monoidal category, e.g., see \textit{C. Pastro} and \textit{R. Street} [Algebra Number Theory 3, No. 2, 149--207 (2009; Zbl 1185.16035)]. The paper under review generalizes weak bialgebras to monoidal categories(possibly not braided). The authors define a weak bimonad on a monoidal category \(M\) as a monad \(T\) on \(M\) with extra structure making \(M^T\) monoidal and the forgetful functor from \(M^T\) to \(M\) separable Frobenius. They establish an equivalence between the category of weak bimonads on a Cauchy complete monoidal category \(M\) and the category of bimonads on bimodule categories over separable Frobenius monoids in \(M\). THey show that weak bimonads in a braided monoidal category induce we…
reviewed by: Earl J. Taft
Mathematics Subject Classification ID: 18D10
Mathematics Subject Classification ID: 16T10
zbMATH DE Number: 5888478
zbMATH Keywords: monoidal categories
zbMATH Keywords: monads
zbMATH Keywords: weak monads
MaRDI profile type: Publication
Wikidata QID: Q56687288
OpenAlex ID: W1969245692
arXiv ID: 1002.4493
cites work: Weak Hopf algebras and weak Yang-Baxter operators.
cites work: Q5701018
cites work: The weak theory of monads
cites work: Weak Hopf algebras. I: Integral theory and \(C^*\)-structure
cites work: Hopf monads on monoidal categories
cites work: Hopf monads
cites work: Hopf monoidal comonads
cites work: Note on Frobenius monoidal functors
cites work: Q4100657
cites work: Q5642701
cites work: Q4790676
cites work: Q4315518
cites work: Bimonads and Hopf monads on categories
cites work: Monads on tensor categories
cites work: Weak Hopf monoids in braided monoidal categories.
cites work: Duals and doubles of quantum groupoids (\(\times_R\)-Hopf algebras)
cites work: The formal theory of monads
cites work: Frobenius monads and pseudomonoids
cites work: Fusion operators and cocycloids in monoidal categories
cites work: Q4668182
DOI: 10.1016/J.JALGEBRA.2010.07.032
Recommended article: Weak bimonoids in duoidal categories
Recommended article: Weak Hopf monoids in braided monoidal categories.
Recommended article: WEAK BRAIDED BIALGEBRAS AND WEAK ENTWINING STRUCTURES
Recommended article: The fundamental theorem for weak braided bimonads
Recommended article: Compatibility Conditions Between Rings and Corings
Recommended article: Q4456898
Recommended article: On the category of weak bialgebras
Recommended article: Weak multiplier bimonoids
Recommended article: Hopf comonads on naturally Frobenius map-monoidales
Recommended article: Q4668182
description: scientific article