category theory - Pithy summary for comonad. (Where a monad is a 'type for impure computation') -


in terms of pithy summaries - this description of monads seems win - describing them 'type impure computation'.

what equivalent pithy (one-sentence) description of comonad?

"a type context-dependent computation"

alternatively, better "pithy description" monads might 'type output impurity', in case pithy description comonads 'type input impurity'.

(if interested in comonads, more introduction given in talks slides of mine: http://www.cl.cam.ac.uk/~dao29/talks/comonads-and-codo-talk-dorchard-2011.pdf)


Comments

Popular posts from this blog

how can i manage url using .htaccess in php? -

ios - I get the error Property '...' not found on object of type '...' -

c# - SelectList with Dictionary, add values to the Dictionary after it's assigned to SelectList -