并深化了传统同调代数中导出函子的理论。这一构造是格罗滕迪克在20世纪60年代初提出的，他的学生让-路易·韦迪耶在其指导下发展了相关理论。今天，导出范畴被广泛应用于代数几何和"D"-模理论。
动机.构造导出范畴的直接动机，是给出导出函子的一种新的定义。导出函子的概念的出现要早于导出范畴。考虑阿贝尔范畴formula_1和formula_2之间的一个左正合函子formula_3，那么历史上，函子f的导出函子首先是通过formula_1的对象的内射分解来定义的。具体地说，假设范畴fo