代数トポロジーにおける同相の応用