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.
Covers the adjunction between simplicial sets and simplicially enriched categories, including preservation of inclusions and construction of homotopy categories.
Covers fibrant objects, lift of horns, and the adjunction between quasi-categories and Kan complexes, as well as the generalization of categories and Kan complexes.
Provides an overview of fundamental groups in topology and their applications, focusing on the Seifert-van Kampen theorem and its implications for computing fundamental groups.
