Thursday, March 6, 2014 - 12:00
Thack 427
Abstract or Additional Information
I'll discuss the properties of the quasi-category that is used in the proof of Joyal's Conecture. In particular, I'll give a detailed sketch of the theorem describing its behavior on slices and will outline certain aspects of 2-functoriality.