Séances de cours associées à Categorical logic

Contexte catégorique des objets G

S'insère dans le cadre catégorique des actions de groupe et dans la correspondance entre les actions G sur c et les functeurs de BG à C.

Théorie de groupe: Vérification

Couvre la vérification des constructions dans le contexte des groupes abeliens et des sous-groupes Sylow.

Notation: Coproduct vs Produit

Explore la distinction entre coproduit et notation de produit dans les constructions catégoriques au sein des groupes abeliens.

Groupe gratuit Abelian: Construction et propriétés

Explore la construction et les propriétés du groupe libre d'abélien FAB(X) et ses extensions catégoriques.

Actions de groupe : Morphismes G-équivariants

Couvre les morphismes G-équivariants dans les actions de groupe, mettant l'accent sur les transformations naturelles et les conditions des morphismes.