On Dec 17, 2007 4:34 AM, Yitzchak Gale <[EMAIL PROTECTED]> wrote: > 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 <[EMAIL PROTECTED]> <http://www.eyrie.org/~zednenem/>
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
