Notes from a Medium-Sized Island [entries|archive|friends|userinfo]

[ website | My Website ]
[ userinfo | livejournal userinfo ]
[ archive | journal archive ]

[Oct. 9th, 2003|01:20 am]
I was pretty tired around 11, but decided on a whim to go along on a trip to India Garden just for socialization. Now I feel much more awake, which is sort of bad. Some entertaining bickering about scheme compared to ML. And I tried to dregde up from distant memory the proof that the triangle equalities that define an adjunction are equvalent to the unique-diagram-completing-arrow condition. I got as far as scribbling on a napkin a diagram that proved that if η is a natural transformation, then so is ε where εX is defined as the transpose of the identity on UX.

[User Picture]From: krasnoludek
2003-10-09 12:53 am (UTC)
damn. i sure miss those late night india garden runs. There is no place that is even remotely comparable out here in Berkeley. ::nostalgic sigh::
(Reply) (Thread)