This is joint work with D. Spivak. I will introduce the notion of quasicategory, explain some basic things about it, and then say why the homotopy theory of these things is equivalent to the homotopy theory of simplicial categories (also known as the "homotopy theory of homotopy theories", if you can believe that). |