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.