Derived category
[de] Derivierte Kategorie
[fr] Catégorie dérivée
[ja] 導来圏
[ko] 유도 범주
[ru] Производная категория
[zh] 导出范畴