Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
monad [2015/02/17 18:48]
nikolaj
monad [2015/10/05 16:23] (current)
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 ===
Link to graph
Log In
Improvements of the human condition