Sesión 9: "Definición de la categoría de homotopía estable"