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 la définition des morphismes entre les variétés algébriques affines et la construction de morphismes en utilisant des homomorphismes algébriques.
