ula_3。固定一对象 formula_4，定义函子 formula_5，此为左正合函子，故存在右导函子 formula_6，记为 formula_7。当 formula_8 时，常记之为 formula_9。根据定义，取 formula_10 的内射分解并取 formula_12，得到去掉首项 formula_14，最后取上同调群，便得到 formula_15。另一方面，若 formula_1 中也有充足射影元（例如 formula_3），则可考虑右正合函子 formula_18 及其左导