Fournit un aperçu des propriétés de levage dans les catégories de modèles, en se concentrant sur leurs définitions et leurs implications pour les morphismes et les diagrammes commutatifs.
Couvre le concept d'un sous-espace étant un retrait d'un autre espace et des groupes fondamentaux, y compris des exemples comme la contraction des dents d'un collier.
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 définitions invariantes dans les ensembles, les groupes et les automorphismes, y compris les groupes p-divisibles et les groupes abeliens libres.