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

DOI10.1007/S10485-009-9217-0zbMATH Open1242.18002arXiv0811.4304OpenAlexW2079751484MaRDI QIDQ657591FDOQ657591

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

Publication date: 10 January 2012

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

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.

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

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

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)

Cites Work

• Adjoint functors and triples
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Bimodule herds.
• Pre-torsors and Galois comodules over mixed distributive laws
• Wide Morita contexts and equivalences of comodule categories
• Title not available (Why is that?)

Cited In (5)

• Morita duality for monoids
• Lifting functors to Eilenberg-Moore category of monad generated by functor CpCp
• A note on Frobenius-Eilenberg-Moore objects in dagger 2-categories
• Morita contexts as lax functors
• Title not available (Why is that?)

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)