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

Dominic Steinitz dominic.steinitz at blueyonder.co.uk
Tue Mar 4 14:01:16 EST 2008


> 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.

Dominic.



More information about the Haskell-Cafe mailing list