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.
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.