Demonstrates the equivalence between simplicial and singular homology, proving isomorphisms for finite s-complexes and discussing long exact sequences.
Covers the adjunction between simplicial sets and simplicially enriched categories, including preservation of inclusions and construction of homotopy categories.
