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.
Demonstrates the equivalence between simplicial and singular homology, proving isomorphisms for finite s-complexes and discussing long exact sequences.
