In category theory, if and are monads on a category a distributive law is a natural transformation such that is a lax map of monads and is a colax map of monads This is exactly the data needed to define a monad structure on : the multiplication map is and the unit map is See: distributive law between monads.
In category theory, if and are monads on a category a distributive law is a natural transformat:ion such that is a lax map of monads and is a colax map of monads This is exactly the data needed to define a monad structure on : the multiplication map is and the unit map is See: distributive law between monads.