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


More information about the Haskell-Cafe mailing list