Démontre l'équivalence entre l'homologie simpliciale et singulière, prouvant les isomorphismes pour les complexes s finis et discutant de longues séquences exactes.
Se concentre sur la preuve de la construction de la catégorie d'homotopie et de ses propriétés, y compris la préservation de la composition et de l'unicité des foncteurs.
