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

[Derek Elkins]

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.