Couvre les propriétés et les structures des catégories de modèles, en mettant l'accent sur les factorisations, les structures de modèles et l'homotopie des cartes continues.
Introduit la construction de quasi-catégories à partir de catégories enrichies de Kan en définissant des catégories simplifiées et en construisant le foncteur nerveux simplicial.
Explore l'apprentissage actif dans la théorie de groupe, en mettant l'accent sur les produits, les coproduits, les adjonctions et les transformations naturelles.
Explore des exemples d'algèbres homotopiques et des adjonctions, en se concentrant sur les articulations gauche et droite dans les functeurs de groupe et les coproduits.