导出范畴

derived category