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.
Covers course objectives, sustainable construction principles, evaluation methods, and practical learning experiences through projects and real project presentations.
Explores challenge-based learning, emphasizing real-life, open-ended projects with external stakeholders and discussing sustainability, ethics, and data science.