Discusses group actions, quotients, and homomorphisms, emphasizing practical implications for various groups and the construction of complex projective spaces.
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.
