Documente Academic
Documente Profesional
Documente Cultură
The two maps are given either by multiplication in the monad or the
action map.
We also have the maps X → T X and T X → T T X coming from the
unit map in the monad.
a e
Definition. A fork is M ⇒ N → P with ea = eb.
b