Covers the construction of a left adjoint to the singular set functor, comparing the homotopy theory of topological spaces with that of simplicial sets.
Introduces the construction of quasi-categories from Kan enriched categories through defining simplicially enriched categories and constructing the simplicial nerve functor.