November 25th, 2008

beartato phd

(no subject)

Talked with neelk a bit about lax adjoints and stuff. Worked through η-expansion for coproducts and got something slightly different from what I expected. Not sure what to make of it yet.