Explore les limites et les limites dans les catégories de functeurs, en mettant l'accent sur les égaliseurs, les retraits et leur importance dans la théorie des catégories.
Couvre les adjonctions, les sorties, les limites et les fibres discrètes dans les revêtements, en mettant l'accent sur les actions de groupe et les symétries.
Explore les définitions invariantes dans les ensembles, les groupes et les automorphismes, y compris les groupes p-divisibles et les groupes abeliens libres.
