Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
|
monad [2015/02/17 18:48] nikolaj |
monad [2015/10/05 16:23] nikolaj |
||
|---|---|---|---|
| Line 9: | Line 9: | ||
| | @#55EE55: postulate | @#55EE55: $\mu\circ T\eta=\mu\circ\eta T=1_T$ | | | @#55EE55: postulate | @#55EE55: $\mu\circ T\eta=\mu\circ\eta T=1_T$ | | ||
| - | ==== Discussion ==== | + | ----- |
| - | === Idea === | + | === Discussion === |
| A monad is functor together with two natural transformations that fulfill some algebraic relations. | A monad is functor together with two natural transformations that fulfill some algebraic relations. | ||
| Line 54: | Line 54: | ||
| [[http://en.wikipedia.org/wiki/Monad_%28category_theory%29|Monad (category theory)]], | [[http://en.wikipedia.org/wiki/Monad_%28category_theory%29|Monad (category theory)]], | ||
| [[http://de.wikipedia.org/wiki/Monade_%28Informatik%29|Monade (Informatik)]] | [[http://de.wikipedia.org/wiki/Monade_%28Informatik%29|Monade (Informatik)]] | ||
| - | ==== Parents ==== | + | |
| + | ----- | ||
| === Context === | === Context === | ||
| === Requirements === | === Requirements === | ||
