Explore le caractère unique de l'approximation CW et du théorème de Whitehead à travers la construction de cartes induisant des isomorphismes sur des groupes homotopiques.
Explore l'existence de foncteurs dérivés de gauche en algèbre homotopique, en se concentrant sur les conditions d'isomorphisme et les transformations naturelles.
Couvre les objets fibreux, le levage des cornes, et l'adjonction entre quasi-catégories et complexes kan, ainsi que la généralisation des catégories et complexes kan.
