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.