[Haskell-cafe] Re: Functional programmer's intuition for adjunctions?

Miguel Mitrofanov miguelimo38 at yandex.ru
Tue Mar 4 20:13:23 EST 2008

Well, I think it's really cool to be sitting in cafe exchanging some  
сute facts from category theory we happen to know. Girls would  
definitely like it.

On 5 Mar 2008, at 03:33, Derek Elkins wrote:

> On Tue, 2008-03-04 at 19:01 +0000, Dominic Steinitz wrote:
>>> Well, we have at least one very useful example of adjunction. It's
>>> called "curry". See, if X is some arbitrary type, you can define
>> This adjunction is the one that makes a category cartesian closed.
> and the monad for it gives rise to the state monad.
> And the other adjunction relating to exponentials and symmetry gives
> rise to the continuation monad.
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe

More information about the Haskell-Cafe mailing list