October 9th, 2003

beartato phd

(no subject)

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.
beartato phd

(no subject)

Slightly unhappy after discovering a source of non-well-foundedness in the induction argument I'm using.

Still need to do Japanese homework for tomorrow. Listenng exercises are hard.