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.