[Haskell-cafe] Re: Monads that are Comonads and the role of Adjunction

[David Menendez]

On Dec 17, 2007 4:34 AM, Yitzchak Gale <gale at sefer.org> 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 <dave at zednenem.com>
<http://www.eyrie.org/~zednenem/>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20071217/51e51c33/attachment.htm