Galois correspondence for augmented monads

Johan Felipe García Vargas

We establish a Galois connection between sub-monads of an augmented monad and sub-functors of the forgetful functor from its Eilenberg-Moore category. This connection is given in t…