Quotient Groups and Push-outs

This lecture starts with a discussion on constructing a product of G-spaces, followed by a philosophical digression on universality and co-universality, and then delves into the explicit construction of push-outs in the category Ens. The slides cover topics such as defining the product of groups, the construction of push-outs, and the philosophical concepts related to universal and co-universal properties.