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.
