The Eilenberg-Moore category and a Beck-type theorem for a Morita context

DOI10.1007/S10485-009-9217-0MaRDI QIDQ657591zbMATHOpenAlexFDO

Authors Tomasz Brzeziński, Joost Vercruysse, Adrian Vazquez-Marquez

Publication date 10 January 2012

Published in Applied Categorical Structures (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0811.4304

zbMATH Keywords

monadMorita equivalencebicategoriesMorita contextBeck's monadicity theoremdouble adjunctionEilenberg-Moore categorymonadicitymoritability

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40)

Abstract: The Eilenberg-Moore constructions and a Beck-type theorem for pairs of monads are described. More specifically, a notion of a {em Morita context} comprising of two monads, two bialgebra functors and two connecting maps is introduced. It is shown that in many cases equivalences between categories of algebras are induced by such Morita contexts. The Eilenberg-Moore category of representations of a Morita context is constructed. This construction allows one to associate two pairs of adjoint functors with right adjoint functors having a common domain or a {em double adjunction} to a Morita context. It is shown that, conversely, every Morita context arises from a double adjunction. The comparison functor between the domain of right adjoint functors in a double adjunction and the Eilenberg-Moore category of the associated Morita context is defined. The sufficient and necessary conditions for this comparison functor to be an equivalence (or for the {em moritability} of a pair of functors with a common domain) are derived.

Recommendations

• Morita contexts as lax functors
• On Morita contexts in bicategories
• Kleisli and Eilenberg-Moore constructions as parts of biadjoint situations
• Adjoint functors and equivalences of subcategories
• Wide Morita contexts and equivalences of comodule categories

Cites work

• scientific article; zbMATH DE number 1950477 (Why is no real title available?)
• scientific article; zbMATH DE number 2168563 (Why is no real title available?)
• scientific article; zbMATH DE number 2248151 (Why is no real title available?)
• Adjoint functors and triples
• Bimodule herds.
• Pre-torsors and Galois comodules over mixed distributive laws
• Wide Morita contexts and equivalences of comodule categories
• Wide Morita contexts in bicategories

Cited in

(8)

• Kleisli and Eilenberg-Moore constructions as parts of biadjoint situations
• scientific article; zbMATH DE number 3964132 (Why is no real title available?)
• Morita duality for monoids
• Morita contexts as lax functors
• On Morita contexts in bicategories
• Lifting functors to Eilenberg-Moore category of monad generated by functor CpCp
• A note on Frobenius-Eilenberg-Moore objects in dagger 2-categories
• Enriched Morita theory of monoids in a closed symmetric monoidal category

This page was built for publication: The Eilenberg-Moore category and a Beck-type theorem for a Morita context

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q657591)