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. _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
