Generalised bialgebras and entwined monads and comonads (Q2341535)

The main motivation of this paper is to show that some results proved by \textit{J.-L. Loday} about generalised bialgebras in [Generalized bialgebras and triples of operads. Astérisque 320. Paris: Société Mathématique de France (2008; Zbl 1178.18001)], are special cases of results on entwined modules for monads and comonads and their associated mixed bimodules. More concretely, in the paper under review the following result was proved: given a monad \(T\) and a comonad \(G\) in a category \({\mathbb A}\) together and entwining \(\lambda: TG\rightarrow GT\), if \(g:1\rightarrow G\) is a grouplike morphism of the comonad \(G\), then the induced functor \(K_{g}:{\mathbb A}\rightarrow ({\mathbb A}_{T})^{\widehat{G}}\) is an equivalence of categories if and only if the free functor \(\phi_{T}: {\mathbb A}\rightarrow {\mathbb A}_{T}\) is comonadic and the composite \(G(h)\circ \lambda_{a}\circ T(g_{a}):T(a)\rightarrow G(a)\) is an isomorphism for every \((a,h)\in {\mathbb A}_{T}\). Then, as a consequence, the Rigity Theorem, proved by J.-L. Loday for a reduced operad and a reduced cooperad [Theorem 2.3.7, Zbl 1178.18001], is obtained as a particular case.