14 Dec
2008
14 Dec
'08
6:59 p.m.
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.