Functor d'action gratuit: Attaché de gauche à Functor oublié

Cette séance de cours couvre la création d'actions libres et co-libres en théorie de groupe, se concentrant sur le functeur d'action libre comme l'adjoint gauche au functeur oublié. L'instructeur discute de la façon dont le functeur Free préserve la composition et les identités, conduisant à une bijection naturelle. La séance de cours explore l'application du functeur d'action libre dans divers contextes, en mettant l'accent sur ses propriétés de préservation de l'équivalence. À travers une série de dérivations et d'épreuves, l'instructeur démontre la nature de l'application et sa compatibilité avec les actions de groupe. La séance de cours se termine par la construction du functeur 'G-free set' et donne des conseils sur le sujet suivant : le produit des objets G.