view wisdom/comonad @ 36:4cb1612c02cf

<oerjan> learn Natural transformations are just morphisms in the category of functors
author HackBot
date Thu, 01 Mar 2012 00:11:23 +0000
parents e037173e0012
children c777e2d91031 60dfd7c0ad78
line wrap: on
line source

Comonads are just monads in the dual category.