Propriétés de levage, Chapitre 2(a): Définition et propriétés élémentaires des catégories de modèles

Cette séance de cours introduit la notion de morphismes ayant la propriété de levage à gauche ou à droite par rapport à un ensemble fixe de morphismes dans une catégorie. Il couvre également la propriété de fermeture des morphismes avec la propriété de levage gauche ou droite. La séance de cours traite des concepts de poussées et de reculs, prouvant que des ensembles de morphismes avec des propriétés de levage sont fermés dans ces opérations. Il explore en outre le caractère unique de la propriété universelle des poussoirs et fournit des exemples pour illustrer ces concepts. La séance de cours se termine par un aperçu des propriétés de levage et des conseils sur la discussion à venir sur la définition des catégories de modèles.