위상수학과 미분기하학에 대수적 도구를 제공하십시오.