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

Tomasz Brzeziński, Adrian Vazquez Marquez, Joost Vercruysse

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 bia…