Explore les limites et les colimits dans la théorie des catégories, en discutant de leurs définitions, propriétés et applications, y compris la non-existence de limites dans certaines catégories et les relations entre les limites et les colimits sous les functeurs.
Explore la définition des orbites et des points fixes d'un objet G dans n'importe quelle catégorie, en se concentrant sur les applications G-équivariantes.
Couvre les identités triangulaires, les transformations naturelles, les diagrammes commutatifs et la notation d'adjonction dans la théorie de groupe et de catégorie.