Explore le functeur d'action libre comme l'adjoint gauche au functeur oublié, en mettant l'accent sur ses propriétés de préservation de l'équivalence et la bijection naturelle.
Explore un exemple concret d'adjonction dans la théorie des catégories et couvre les transformations naturelles et les concepts de la théorie des groupes.
