instIsTriangulatedHomotopyCategoryIntUpQh

English

The derived category is triangulated; in particular the localization of the acyclic part yields a triangulated category structure.

Русский

Производная категория является треугольной; локализация аксиальной части порождает структуру треугольной категории.

LaTeX

$$$\mathrm{IsTriangulated}(\mathrm{DerivedCategory}(\mathcal{C}))$$$

Lean4

instance : (Qh (C := C)).IsTriangulated :=
  Triangulated.Localization.isTriangulated_functor Qh (HomotopyCategory.subcategoryAcyclic C).trW

Похожие утверждения