Comonad

From HaskellWiki
Jump to: navigation, search

Comonad is a structure from category theory dual to monad.