호모토피 이론의 대수적 위상수학에서의 역할