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.
This lecture explains the lifting of paths and loops on covering spaces, focusing on the relationship between the fundamental group of the covering space and the fundamental group of the underlying space. It covers the uniqueness of lifts, the Homotopy Lifting Property, and the Path Lifting Property, providing insights into the injectivity of homomorphisms and the image of the homomorphism. The lecture concludes with a detailed proof of the properties discussed.