得导范畴formula_72，换言之即是为所有拟同构添加逆态射。假设formula_67有够多内射元，则在导范畴里同样可以定义左正合函子formula_74的右导函子formula_75，它与古典定义formula_76的关系由下式给出：假设左正合函子formula_78将内射对象映至formula_74的非循环对象，此时格罗滕迪克谱序列化作格外简明的形式：对右正合函子也有相应的结果。尽管谱序列在导范畴的进路中不是那么根本，但在具体计算时仍佔一席之地。Verdier借这套语言证明了Verdi