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.
Explore les définitions invariantes dans les ensembles, les groupes et les automorphismes, y compris les groupes p-divisibles et les groupes abeliens libres.
