Monads as Extension Systems—No Iteration is Necessary
F. Marmolejo, R.J. Wood · Theory and applications of categories · 2010
We introduce a description of the algebras for a monad in terms of extension systems, similar to the one for monads given in [Manes, 1976].We rewrite distributive laws for monads and wreaths in terms of this description, avoiding the iteration of the functors involved.We give a profunctorial explanation of why Manes' description of monads in terms of extension systems works.