为左 formula_1-模范畴、 formula_4 为右 formula_1-模范畴（若 formula_1 为交换环，则两者等价）。固定一对象 formula_7，考虑函子这是从 formula_4 至阿贝尔群范畴 formula_10 的右正合函子（若 formula_1 为交换环，则它是映至 formula_2 的右正合函子），因此能考虑其左导函子 formula_13，记为 formula_14。换言之，对任一左 formula_1-模 formula_16 取射影分解去掉尾项 fo