Explore les définitions invariantes dans les ensembles, les groupes et les automorphismes, y compris les groupes p-divisibles et les groupes abeliens libres.

Théorie de la catégorie: Introduction

Couvre les bases des catégories et des functeurs, explorant les propriétés, la composition et l'unicité dans la théorie des catégories.

Transformations naturelles: Catégories, Functors et équivalence

Couvre les transformations naturelles entre les foncteurs, les transformations identitaires et l'équivalence des catégories.

Théorie de catégorie: Ensembles G et Functor de gauche

Explore la construction des ensembles G et les functeurs adjoints de gauche dans la théorie de catégorie.

Catégories de functors: (Co)Limites et ensembles simpliciaux

Explore (co)limite les catégories de functeurs et les ensembles simpliciaux, y compris les égaliseurs et les coégalisateurs de cartes simpliciales.

Functeurs dérivés: Identité et Homotopie Catégories

Explore les functeurs dérivés dans les catégories de modèles, en se concentrant sur les catégories d'identité et d'homotopie.