Are you an EPFL student looking for a semester project?
Work with us on data science and visualisation projects, and deploy your project as an app on top of Graph Search.
Points Fixes in G-sets
This lecture discusses the concept of points fixes in G-sets, exploring the relationship between fixed points and G-sets. It covers the construction of applications between sets, the inverse application, and the equivalence between different expressions. The lecture also delves into the corestriction of applications and the construction of orbits in G-sets. The instructor demonstrates the construction of orbits and fixed points in G-sets, highlighting the adjoint relationship between different functions. The study concludes with a discussion on the generalization of these concepts to arbitrary categories.