ormula_44的函子h，如果h将拟同构都映为同构，则一定有函子formula_45, 使得formula_46。
性质.阿贝尔范畴formula_1的导出范畴formula_24一般并不是阿贝尔范畴。导出范畴还可以通过同伦范畴来定义。给定阿贝尔范畴A， A的同伦范畴formula_49是链复形范畴formula_23的态射模去链同伦这一等价关系得到的范畴。可以证明，formula_24也是formula_49关于所有拟同构的局部化。如果我们对formula_21 中的链