[Haskell-cafe] Re: Monads that are Comonads and the role of
dave at zednenem.com
Mon Dec 17 09:58:39 EST 2007
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>
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe