，此时格罗滕迪克谱序列化作格外简明的形式：对右正合函子也有相应的结果。尽管谱序列在导范畴的进路中不是那么根本，但在具体计算时仍佔一席之地。Verdier借这套语言证明了Verdier对偶定理，这是庞加莱对偶定理的深远推广，适用于任何局部紧有限维拓扑空间。导范畴的应用仍在不断扩大中；在代数几何之外，导范畴理论的最大成功之一是证明了任意维度的黎曼-希尔伯特对应。Verdier的博士论文直到1996年才出版，此前导范畴的第一手资料是由他执笔的"SGA 4½"末章："Catégories dérivée