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 construction of a left adjoint to the singular set functor, comparing the homotopy theory of topological spaces with that of simplicial sets.