Wreaths, mixed wreaths and twisted coactions

DOI10.1515/TMJ-2017-0100zbMATH Open1437.18006arXiv1610.07281OpenAlexW2995135538WikidataQ56687295 ScholiaQ56687295MaRDI QIDQ2406555FDOQ2406555

Ross H. Street

Publication date: 5 October 2017

Published in: Tbilisi Mathematical Journal (Search for Journal in Brave)

Abstract: Distributive laws between two monads in a 2-category $CK$, as defined by Jon Beck in the case $CK=mathrmCat$, were pointed out by the author to be monads in a 2-category $mathrmMndCK$ of monads. Steve Lack and the author defined wreaths to be monads in a 2-category $mathrmEMCK$ of monads with different 2-cells from $mathrmMndCK$. Mixed distributive laws were also considered by Jon Beck, Mike Barr and, later, various others, they are comonads in $mathrmMndCK$. Actually, as pointed out by John Power and Hiroshi Watanabe, there are a number of dual possibilities for mixed distributive laws. It is natural then to consider mixed wreaths as we do in this article, they are comonads in $mathrmEMCK$. There are also mixed opwreaths: comonoids in the Kleisli construction completion $mathrmKlCK$ of $CK$. The main example studied here arises from a twisted coaction of a bimonoid on a monoid. Corresponding to the wreath product on the mixed side is wreath convolution, which is composition in a Kleisli-like construction. Walter Moreira's Heisenberg product of linear endomorphisms on a Hopf algebra, is an example of such convolution, actually involving merely a mixed distributive law. Monoidality of the Kleisli-like construction is also discussed.

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

zbMATH Keywords

convolutionmonadcomonadbialgebramixed distributive lawtwisted actionwreathHeisenberg product

Mathematics Subject Classification ID

Exact enumeration problems, generating functions (05A15) Connections of Hopf algebras with combinatorics (16T30) Factorization systems, substructures, quotient structures, congruences, amalgams (18A32) Eilenberg-Moore and Kleisli constructions for monads (18C20) Other matrix groups over finite fields (20H30) 2-categories, bicategories, double categories (18N10)

Cites Work

• The geometry of tensor calculus. I
• Braided tensor categories
• Tortile Yang-Baxter operators in tensor categories
• Monads for which structures are adjoint to units
• Group-like structures in general categories. I. Multiplications and comultiplications
• Combining a monad and a comonad
• The formal theory of monads
• The formal theory of monads. II
• Double quantum groups
• Limits indexed by category-valued 2-functors
• The Heisenberg product: from Hopf algebras and species to symmetric functions
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (7)

• Frobenius and separable functors for the category of entwined modules over cowreaths. I: general theory
• On Frobenius and separable Galois cowreaths
• Title not available (Why is that?)
• Biwreaths: a self-contained system in a 2-category that encodes different known algebraic constructions and gives rise to new ones
• Free wreath products with amalgamation
• The Heisenberg product: from Hopf algebras and species to symmetric functions
• Frobenius and separable functors for the category of entwined modules over cowreaths. II: applications

Recommendations

• Tangles, trees, and flowers 👍 👎
• Two results on wreath products 👍 👎
• Embeddings in twisted wreaths 👍 👎
• Lifting wreath product extensions 👍 👎
• Free wreath products with amalgamation 👍 👎
• Spinning switches on a wreath product 👍 👎
• Beyond wreath and block 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

This page was built for publication: Wreaths, mixed wreaths and twisted coactions

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