Paired wreaths: 2-categorical background of a class of cross products (Q2107655)

\textit{S. Lack} and \textit{R. Street} [J. Pure Appl. Algebra 175, No. 1--3, 243--265 (2002; Zbl 1019.18002)] introduced \textit{wreaths} as monads in the Eilenberg-Moore category \(\mathsf{EM}^{M}(\mathcal{K})\) of monads in a \(2\)-category \(\mathcal{K}\), which, when unpacked, provides the necessary data to recover \textit{crossed products} in different algebraic settings [\textit{D. Bulacu} and \textit{S. Caenepeel}, Algebr. Represent. Theory 17, No. 4, 1035--1082 (2014; Zbl 1336.16038); \textit{S. Lack} and \textit{R. Street}, J. Pure Appl. Algebra 175, No. 1--3, 243--265 (2002; Zbl 1019.18002)]. In order, on the one hand, to understand why certain structures in the examples obey the laws of a wreath and, on the other hand, to investigate an analogue of a wreath in terms of bimonads, \textit{B. Mesablishvili} and \textit{R. Wisbauer} [J. \(K\)-Theory 7, No. 2, 349--388 (2011; Zbl 1239.18002)] introduced \textit{biwreaths} and \textit{biwreath-like objects}. This paper defines the notion of a \textit{paired wreath}, in which there is a monad \(B\) and a comonad \(F\) over the same \(0\)-cell in a \(2\)-category \(\mathcal{K}\) so that \(F\) is a left wreath around \(B\) and \(B\) is a right cowreath around \(F\), \(FB\) being a bimonad in \(\mathcal{K}\). The author obtains a \(2\)-categorical version of the Radford biproduct [\textit{D. E. Radford}, J. Algebra 92, 322--347 (1985; Zbl 0549.16003)] and Sweedler's crossed (co)product [\textit{M. E. Sweedler}, Trans. Am. Math. Soc. 133, 205--239 (1968; Zbl 0164.03704)], which are both a biwreath and a biwreath-like object, respectively, on the on hand, and are paired wreath on the other. Paired wreaths represent a \(2\)-categorical origin of many crossed (bi)products in algebra. The synopsis of the paper goes as follows. \begin{itemize} \item[\S 2] sets the notation, recalling some definitions from [\textit{B. Femić}, J. Pure Appl. Algebra 223, No. 4, 1472--1513 (2019; Zbl 1423.18015)] and introducing \(\tau\)-bimonads in \(2\)-categories. \item[\S 3] is devoted to the definition of paired wreaths and to the analysis of which structures underlie them. \item[\S 4] defines Hopf data collecting some consequent structures of paired wreaths and studies when a Hopf datum is a paired wreath, where Yang-Baxter type equations and a sort of naturality for certain distributive laws in \(2\)-categories are introduced in order to study under which conditions a Hopf datum is a paired wreath (Theorem 4.20). Paired wreaths and Hopf data give rise to new definitions of Yetter-Drinfel'd modules, (co)module (co)monads, \(2\)-(co)cycle s and (co)cycle twisted (co)actions in a \(2\)-categorical setting. \end{itemize}