代数トポロジーにおけるホモトピー理論の役割