<br><br><div class="gmail_quote">On Dec 17, 2007 4:34 AM, Yitzchak Gale <<a href="mailto:gale@sefer.org">gale@sefer.org</a>> wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
<div class="Ih2E3d">Derek Elkins wrote:<br>> There is another very closely related adjunction that is less often<br>> mentioned.<br>><br>> ((-)->C)^op -| (-)->C<br>> or<br>> a -> b -> C ~ b -> a -> C
<br>><br>> This gives rise to the monad,<br>> M a = (a -> C) -> C<br>> this is also exactly the comonad it gives rise to (in the op category<br>> which ends up being the above monad in the "normal" category).
<br><br></div>That looks very like the type of mfix. Is this<br>related to MonadFix?<br></blockquote></div><br>I think that's the continuation monad.<br clear="all"><br>-- <br>Dave Menendez <<a href="mailto:dave@zednenem.com">
dave@zednenem.com</a>><br><<a href="http://www.eyrie.org/~zednenem/">http://www.eyrie.org/~zednenem/</a>>