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

Derek Elkins derek.a.elkins at gmail.com
Tue Mar 4 19:33:51 EST 2008

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.

More information about the Haskell-Cafe mailing list