Jump to content

Distributive law between monads

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by OAbot (talk | contribs) at 10:57, 16 April 2020 (Open access bot: doi added to citation with #oabot.). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

In category theory, an abstract branch of mathematics, distributive laws between monads are a way to express abstractly that two algebraic structures distribute one over the other one.

Suppose that and are two monads on a category C. In general, there is no natural monad structure on the composite functor ST. 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

such that the diagrams

        
        

commute.

This law induces a composite monad ST with

  • as multiplication: ,
  • as unit: .

See also

References

  • Beck, Jon (1969). "Distributive laws". Seminar on Triples and Categorical Homology Theory, ETH 1966/67. Lecture Notes in Mathematics. Vol. 80. pp. 119–140. doi:10.1007/BFb0083084. ISBN 978-3-540-04601-1.