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