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