Distributive laws and factorization

AbstractThis article shows that the distributive laws of Beck in the bicategory of sets and matrices, wherein monads are categories, determine strict factorization systems on their composite monads. Conversely, it is shown that strict factorization systems on categories give rise to distributive laws. Moreover, these processes are shown to be mutually inverse in a precise sense. Strict factorization systems are shown to be the strict algebras for the 2-monad (−)2 on the 2-category of categories. Further, an extension of the distributive law concept provides a correspondence with the classical factorization systems