设为的同伦范畴。为零系。

则为的导出范畴。