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 covers the concept of right extensions in infinity category theory, exploring the definitions and properties of these extensions along with equivalent definitions. It delves into the Kan extensions, their applications, and the challenges faced in certain scenarios. The lecture also discusses the notion of equalant definitions and the importance of understanding the interplay between different concepts in category theory.