Entwining structures in monoidal categories (Q2474284)

Mixed distributive laws \(\lambda :T G\Rightarrow G T\) are comonads \((G,\lambda ):(\mathcal{A},T)\rightarrow (\mathcal{A},T)\) in the 2-category of monads, or equivalently, monads \((T,\lambda ):(\mathcal{A},G)\rightarrow (\mathcal{A},G)\) in the 2-category of comonads. Consequently, a comonad \(G_{\lambda }\) is induced on the category \(\mathcal{A}^{T}\) of Eilenberg-Moore \(T\)-algebras and a monad \(T_{\lambda }\) is induced on the category \(\mathcal{A}^{G}\) of Eilenberg-Moore \(G\)-coalgebras; there are isomorphisms of categories \({(\mathcal{A}^{T})}^{G_{\lambda }}\cong {(\mathcal{A}^{G})}^{T_{\lambda }}\cong \mathcal{A}^{(T,G,\lambda )}\) where the last category has as objects \((M,\mu ,\delta )\) such that the \(T\)-algebra \((M,\mu )\) and \(G\)-coalgebra \((M,\delta )\) are compatible with \(\lambda \). These ideas can be recast in terms of a monoid \(A\) and a comonoid \(C\) in a monoidal category \(\mathcal{V}\) where \(T=-\otimes A\) and \(G=-\otimes C\); then \(\lambda :C\otimes A\rightarrow A\otimes C\) has been called an entwining structure with notation \(\mathcal{V}_{A}^{C}( \lambda ) \) for \(\mathcal{A}^{(T,G,\lambda )}\). A comonoid morphism \(g:I\rightarrow C\) from the tensor unit \(I\) in \(\mathcal{V}\) is called a group-like element of \(C\) (although it is more set-like in such a \(C\), and is not really an element of \(C\)). The paper relates the requirement that \((C,g)\) be Galois to a comparison between \(\mathcal{A}^{(T,G,\lambda )}\) and the category of modules over a certain monoid \(A^{C}\). When \(\mathcal{V}\) is braided, a corollary is a generalization of the Hopf module structure theorem on page 84 of the book of \textit{M. E. Sweedler} [``Hopf algebras'', New York: W.A. Benjamin (1969; Zbl 0194.32901)] giving an equivalence of categories \(\mathcal{V}\simeq \mathcal{V}_{H}^{H}( c_{H,H}) \) for a Hopf monoid \(H\) in \(\mathcal{V}\) where \(c\) is the braiding.