Suppose that and are two monads on a
categoryC. In general, there is no natural monad structure on the composite
functorST. However, there is a natural monad structure on the functor ST if there is a distributive law of the monad S over the monad T.
Formally, a distributive law of the monad S over the monad T is a
natural transformation
Böhm, G. (2005). "Internal bialgebroids, entwining structures and corings". Algebraic Structures and Their Representations. Contemporary Mathematics. Vol. 376. pp. 207–226.
arXiv:math.QA/0311244.
ISBN9780821836309.
Brzezinski, Tomasz; Wisbauer, Robert (2003).
Corings and Comodules. London Mathematical Society Lecture Note Series. Vol. 309. Cambridge University Press.
ISBN978-0-521-53931-9.
Fox, T.F.; Markl, M. (1997). "Distributive laws, bialgebras, and cohomology". Operads: Proceedings of Renaissance Conferences. Contemporary Mathematics. Vol. 202. American Mathematical Society. pp. 167–205.
ISBN9780821805138.
Lack, S. (2004).
"Composing PROPS". Theory Appl. Categ. 13 (9): 147–163.
Lack, S.; Street, R. (2002). "The formal theory of monads II". J. Pure Appl. Algebra. 175 (1–3): 243–265.
doi:
10.1016/S0022-4049(02)00137-8.