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.