17 Dec
2007
17 Dec
'07
9:58 a.m.
On Dec 17, 2007 4:34 AM, Yitzchak Gale
Derek Elkins wrote:
There is another very closely related adjunction that is less often mentioned.
((-)->C)^op -| (-)->C or a -> b -> C ~ b -> a -> C
This gives rise to the monad, M a = (a -> C) -> C this is also exactly the comonad it gives rise to (in the op category which ends up being the above monad in the "normal" category).
That looks very like the type of mfix. Is this related to MonadFix?
I think that's the continuation monad.
--
Dave Menendez