Covers fibrant objects, lift of horns, and the adjunction between quasi-categories and Kan complexes, as well as the generalization of categories and Kan complexes.
Outlines the Master in Computational Science and Engineering at EPFL, detailing its structure, admission criteria, and career opportunities for graduates.