Wreaths, mixed wreaths and twisted coactions
Abstract
Distributive laws between two monads in a 2-category $\CK$, as defined by Jon Beck in the case $\CK=\mathrm{Cat}$, were pointed out by the author to be monads in a 2-category $\mathrm{Mnd}\CK$ of monads. Steve Lack and the author defined wreaths to be monads in a 2-category $\mathrm{EM}\CK$ of monads with different 2-cells from $\mathrm{Mnd}\CK$. Mixed distributive laws were also considered by Jon Beck, Mike Barr and, later, various others, they are comonads in $\mathrm{Mnd}\CK$. 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 $\mathrm{EM}\CK$. There are also mixed opwreaths: comonoids in the Kleisli construction completion $\mathrm{Kl}\CK$ 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.
- Publication:
-
arXiv e-prints
- Pub Date:
- October 2016
- DOI:
- 10.48550/arXiv.1610.07281
- arXiv:
- arXiv:1610.07281
- Bibcode:
- 2016arXiv161007281S
- Keywords:
-
- Mathematics - Category Theory;
- 18D10;
- 18C15;
- 18C20
- E-Print:
- 25 pages