Topological Categories and comparisons

Speaker:

Piotr Pstragowski

Date:

Fri, 10/05/2013 - 13:30 - 15:00

Location:

MPIM Lecture Hall [2]

Parent event:

https://docs.google.com/document/d/1llPzCxlhWSucYymRenInm861KK-QVJxQS0MeEQZdjE8/edit

homotopy coherent nerve
classification diagram (see Rezk’s “A model for the homotopy theory...”)
Quasicategories from model categories.
In particular it would be really great if you can state Thm 4.2.4.1 (or maybe Prop 4.2.4.4 instead) in Lurie’s HTT, and perhaps sketch the proof. This is the result that related limits/colimits in quasicategories with classical homotopy colimits in simplicial categories.

(note: Chris is absent for this talk)