Difference between revisions of "Haiku"
Jump to navigation
Jump to search
(→Monad haikus: source) |
|||
Line 1: | Line 1: | ||
== Monad haikus == |
== Monad haikus == |
||
+ | From [[Monad laws#But it doesn't look exactly like an "associative law"...]]: |
||
⚫ | |||
+ | |||
⚫ | |||
− | + | <blockquote> |
|
+ | Monad axioms:<br/> |
||
⚫ | |||
+ | a category. |
||
⚫ |
Revision as of 23:00, 5 December 2008
Monad haikus
From Monad laws#But it doesn't look exactly like an "associative law"...:
Monad axioms:
Kleisli composition forms
a category.