Jason (jcreed) wrote,

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.

  • Post a new comment


    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

  • 1 comment