Distributive law between monads
id:
distributive-law-between-monads-286-5527736
title:
Distributive law between monads
text:
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. 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 n
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Distributive_law_between_monads
date created:
date modified:
2024-02-19T02:49:09Z
main entity:
{"identifier":"Q5283215","url":"https://www.wikidata.org/entity/Q5283215"}
image:
{"content_url":"https://upload.wikimedia.org/wikipedia/commons/7/70/Distributive_law_monads_unit1.svg","width":70,"height":36}
fields total:
13
integrity:
14