Biwreaths: a self-contained system in a 2-category that encodes different known algebraic constructions and gives rise to new ones

DOI10.1016/J.JPAA.2018.06.015zbMATH Open1423.18015arXiv1707.05447OpenAlexW2964048407WikidataQ129332958 ScholiaQ129332958MaRDI QIDQ1634845FDOQ1634845

Authors: Bojana Femić 

Publication date: 18 December 2018

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Abstract: We introduce bimonads in a 2-category $K$ and define biwreaths as bimonads in the 2-category $$ of bimonads, in the analogous fashion as Lack and Street defined wreaths. A biwreath is then a system containing a wreath, a cowreath and their mixed versions, but also a 2-cell $lambda$ in $$ governing the compatibility of the monad and the comonad structure of the biwreath. We deduce that the monad laws encode 2-(co)cycles and the comonad laws so called 3-(co)cycles, while the 2-cell conditions of the (co)monad structure 2-cells of the biwreath encode (co)actions twisted by these 2- and 3-(co)cycles. The compatibilities of $lambda$ deliver concrete expressions of the latter structure 2-cells. We concentrate on the examples of biwreaths in the 2-category induced by a braided monoidal category $C$ and take for the distributive laws in a biwreath the braidings of the different categories of Yetter-Drinfel'd modules in $C$. We prove that the before-mentioned properties of a biwreath specified to the latter setting recover on the level of $C$ different algebraic constructions known in the category ${}_{R}M$ of modules over a commutative ring $R$, such as Radford biproduct, Sweedler's crossed product algebra, comodule algebras over a quasi-bialgebra and the Drinfel'd twist. In this way we obtain that the known examples of (mixed) wreaths coming from ${}_{R}M$ are not merely examples, rather they are consequences of the structure of a biwreath, and that the form of their structure morphisms originates in the laws inside of a biwreath. Choosing different distributive laws and different 2-cells $lambda$ in a biwreath, leads to different and possibly new algebraic constructions.

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

Recommendations

• On bi-embeddable categoricity of algebraic structures
• Algebraic structure for bicategory enriched categories
• Degrees of bi-embeddable categoricity of equivalence structures
• scientific article; zbMATH DE number 2059571
• Deriving bisimulation congruences: a 2-categorical approach
• A formalism for the specification of essentially-algebraic structures in 2-categories
• Fibred 2-categories and bicategories
• Generalised bialgebras and entwined monads and comonads
• Bisimulation maps in presheaf categories
• scientific article; zbMATH DE number 1956527

zbMATH Keywords

bicategorybimonadbiwreath

Mathematics Subject Classification ID

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• The structure of Hopf algebras with a projection
• Some remarks on Morita theory, Azumaya algebras and center of an algebra in braided monoidal categories
• Introduction to bicategories
• Combining a monad and a comonad
• Title not available (Why is that?)
• Biinvertible actions of Hopf algebras
• The formal theory of monads. II
• Title not available (Why is that?)
• Hopf monads
• Crossed modules and quantum groups in braided categories
• Bimonads and Hopf monads on categories
• Crossed Products and Inner Actions of Hopf Algebras
• Monads on tensor categories
• Cross product bialgebras. II
• DIAGONAL CROSSED PRODUCTS BY DUALS OF QUASI-QUANTUM GROUPS
• Cohomology of Algebras Over Hopf Algebras
• Monoidal ring and coring structures obtained from wreaths and cowreaths.
• Title not available (Why is that?)
• EXTENDED DISTRIBUTIVE LAW: COWREATH OVER CORINGS
• Wreaths, mixed wreaths and twisted coactions
• Transparency condition in the categories of Yetter-Drinfeld modules over Hopf algebras in braided categories.

Cited In (6)

• Turaev bicategories and generalized Yetter-Drinfel'd modules in 2-categories
• On the iteration of weak wreath products
• Paired wreaths: 2-categorical background of a class of cross products
• A bicategorical approach to actions of monoidal categories
• Bilinear factorization of algebras.
• Braided skew monoidal categories

This page was built for publication: Biwreaths: a self-contained system in a 2-category that encodes different known algebraic constructions and gives rise to new ones

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