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 starts with a discussion on fibrant objects, lift of horns, and the counit of the adjunction between quasi-categories and Kan complexes. It then covers topics like the generalization of categories and Kan complexes, proving standard n-simplices are quasi-categories, and using quasi-categories for homotopy coherent groups and monoids.