コホモロジー
コホモロジー論 (cohomology theory) は位相空間と連続関数のペアの圏(あるいはCW複体の圏のような圏の部分圏)からアーベル群と群準同型の圏へのEilenberg-Steenrod の公理(英語版)を満たす反変関手の一群である。
この意味でのいくつかのコホモロジー理論は:
単体的コホモロジー(英語版)
特異コホモロジー
de Rham コホモロジー
Čech コホモロジー(英語版)