Comonad

From HaskellWiki
Jump to navigation Jump to search

Comonad is a structure from category theory dual to monad.