| http://dbpedia.org/ontology/abstract
|
In category theory, an abstract branch of … 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: .with
* as multiplication: ,
* as unit: .
|
| http://dbpedia.org/ontology/thumbnail
|
http://commons.wikimedia.org/wiki/Special:FilePath/Distributive_law_monads_mult1.svg?width=300 +
|
| http://dbpedia.org/ontology/wikiPageExternalLink
|
https://books.google.com/books%3Fid=Ea1EeaOu_HUC&pg=PP1 +
, https://web.archive.org/web/20110514231306/http:/www.case.edu/artsci/math/wells/pub/pdf/ttt.pdf +
, http://www.tac.mta.ca/tac/volumes/13/9/13-09abs.html +
, http://www.case.edu/artsci/math/wells/pub/pdf/ttt.pdf +
|
| http://dbpedia.org/ontology/wikiPageID
|
7820243
|
| http://dbpedia.org/ontology/wikiPageLength
|
5273
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1094107761
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Monad_%28category_theory%29 +
, http://dbpedia.org/resource/Natural_transformation +
, http://dbpedia.org/resource/Springer-Verlag +
, http://dbpedia.org/resource/File:Distributive_law_monads_unit1.svg +
, http://dbpedia.org/resource/File:Distributive_law_monads_unit2.svg +
, http://dbpedia.org/resource/File:Distributive_law_monads_mult2.svg +
, http://dbpedia.org/resource/Category:Adjoint_functors +
, http://dbpedia.org/resource/Category_theory +
, http://dbpedia.org/resource/Distributive_law +
, http://dbpedia.org/resource/File:Distributive_law_monads_mult1.svg +
, http://dbpedia.org/resource/Mathematics +
|
| http://dbpedia.org/property/id
|
distributive+law
|
| http://dbpedia.org/property/title
|
Distributive law
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:No_footnotes +
, http://dbpedia.org/resource/Template:Nlab +
, http://dbpedia.org/resource/Template:Cite_journal +
, http://dbpedia.org/resource/Template:Cite_book +
, http://dbpedia.org/resource/Template:Categorytheory-stub +
, http://dbpedia.org/resource/Template:Cite_arXiv +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Adjoint_functors +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Distributive_law_between_monads?oldid=1094107761&ns=0 +
|
| http://xmlns.com/foaf/0.1/depiction
|
http://commons.wikimedia.org/wiki/Special:FilePath/Distributive_law_monads_mult1.svg +
, http://commons.wikimedia.org/wiki/Special:FilePath/Distributive_law_monads_mult2.svg +
, http://commons.wikimedia.org/wiki/Special:FilePath/Distributive_law_monads_unit1.svg +
, http://commons.wikimedia.org/wiki/Special:FilePath/Distributive_law_monads_unit2.svg +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Distributive_law_between_monads +
|
| owl:sameAs |
http://rdf.freebase.com/ns/m.026f5nf +
, http://www.wikidata.org/entity/Q5283215 +
, https://global.dbpedia.org/id/4iSse +
, http://dbpedia.org/resource/Distributive_law_between_monads +
|
| rdfs:comment |
In category theory, an abstract branch of … 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 withThis law induces a composite monad ST with
|
| rdfs:label |
Distributive law between monads
|
