代数拓扑，但其应用遍佈许多领域。
定义.设 formula_1 为有充足内射元的阿贝尔范畴，例如一个环 formula_2 上的左模范畴 formula_3。固定一对象 formula_4，定义函子 formula_5，此为左正合函子，故存在右导函子 formula_6，记为 formula_7。当 formula_8 时，常记之为 formula_9。根据定义，取 formula_10 的内射分解并取 formula_12，得到去掉首项 formula_14，最后取上