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.
Explore les transformations naturelles entre les functeurs, en mettant l'accent sur leurs propriétés de préservation de la composition et leur signification dans la théorie des catégories.
Explore les functeurs, les transformations naturelles et la théorie des groupes, soulignant l'importance des comparaisons et de la préservation de la structure.
Couvre la théorie des groupes et de l'algèbre homotopique, mettant l'accent sur les transformations naturelles, les identités et l'isomorphisme des catégories.