Well, I think it's really cool to be sitting in cafe exchanging some сute facts from category theory we happen to know. Girls would definitely like it. On 5 Mar 2008, at 03:33, Derek Elkins wrote:
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 Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe