Discusses group actions, quotients, and homomorphisms, emphasizing practical implications for various groups and the construction of complex projective spaces.
Introduces the construction of quasi-categories from Kan enriched categories through defining simplicially enriched categories and constructing the simplicial nerve functor.
