Groupes de quotients et push-outs

Cette séance de cours commence par une discussion sur la construction d'un produit des espaces G, suivie d'une digression philosophique sur l'universalité et la co-universalité, puis se penche sur la construction explicite des push-outs dans la catégorie Ens. Les diapositives couvrent des sujets tels que la définition du produit des groupes, la construction de push-outs, et les concepts philosophiques liés aux propriétés universelles et co-universelles.