Covers the combinatorics of the simplex category and its equivalence to topological spaces, as well as the concept of functor categories for cosimplicial and simplicial objects.
Introduces the construction of quasi-categories from Kan enriched categories through defining simplicially enriched categories and constructing the simplicial nerve functor.
