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 the properties of the exponential map in Lie groups and their algebras, including smoothness and the relationship between subgroups and algebras.