July 30th, 2016

beartato phd

(no subject)

Dan Licata was in town, had an interesting conversation about him trying to generalize some 2-categorical treatment of adjoint logic that he was thinking about last summer to multicategories. Neat stuff.