The Eilenberg-Moore category and a Beck-type theorem for a Morita context (Q657591): Difference between revisions

The classical Beck (co)monadicity theorem is extended to the study of double adjunctions and Morita contexts. Given categories \(\mathcal {X, Y}\) the category \(\mathbf{Adj}(\mathcal {X,Y})\) is the full subcategory of \(\mathbf {Span}(\mathcal{X,Y})\) generated by those spans \(\mathcal {X} \leftarrow \mathcal {Z} \rightarrow \mathcal {Y}\) where both arrows have left adjoints. The category \(\mathbf {Mor}(\mathcal {X,Y})\) has objects a monad on each category together with a balanced pair of formally dual bialgebras (and suitably defined arrows). These notions are defined in Section 2. Section 3 is concerned with the details of a functor \(\mathbf {Adj}(\mathcal {X,Y})\to \mathbf {Mor}(\mathcal {X,Y})\), showing that the classical construction of a monad from an adjunction extends to give a Morita context from a double adjunction. The functor \(\mathbf {Mor}(\mathcal {X,Y}) \to \mathbf {Adj}(\mathcal {X,Y})\) in the other direction is the `doubled' version of the Eilenberg-Moore construction. It is shown that every Morita context arises from a double adjunction and the comparison functor is constructed. The classical notion of a right adjoint being monadic is here extended to the notion of a double adjunction being \textit{moritable} if the comparison functor gives an equivalence of categories. The section closes with a study of moritability, which is the extension of Beck's monadicity theorem. Section 4 is a general treatment of Morita theory for Morita contexts and Section 5 discusses several applications (e.g., single adjunctions, Morita theory for rings, categories with binary coproducts, Herds and pretorsors). As noted in the final section on generalizations the theory presented in the article fits into the more abstract framework of bicategories. The authors' choice to present the theory in the setting given certainly achieves their goal of creating an accessible and clear treatment, which is moreover very much self-contained.