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