J. Soliveres Tur

Learn More
We consider monads over varying categories, and by defining the morphisms of Kleisli and of Eilenberg-Moore from a monad to another and the appropriate transformations (2-cells) between morphisms of Kleisli and between morphisms of Eilenberg-Moore, we obtain two 2-categories MndKl and MndEM. Then we prove that MndKl and MndEM are, respectively, 2-isomorphic(More)
  • 1