On 15 Dec 2008, at 12:52 pm, Derek Elkins wrote:
I want to point out a quick categorical way of proving this (and
almost
all the other "arithmetic" laws follow similarly.) This is just
continuity of right adjoints. The interesting thing is the
adjunction,
one that is commonly neglected in discussions of Cartesian closed
categories.
December buds swell.
Categories unlimit
Haskell I once knew.
_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe
