代数的トポロジー(Algebraic topology, 代数的位相幾何学)と言えば「ホモロジー群」「コホモロジー環」「ホモトピー群」 といったホモトピー不変量が登場します。 たとえばホモロジー群、コホモロジー環は『初見では定義が複雑な反面、簡単な計算法(切除同型…