加群の圏を と書く。 定義 鎖複体の圏 対象 ：加群の集まり 。 ただし、この加群間には境界写像 がある。 境界写像は を満たす。 射 ： 加群の準同型 の集まり。 を満たす。 定義 ホモロジー関手 に対し 輪体加群 ： 境界加群 ： ホモロジー関手 ： のとき、…