instCommShiftHomotopyCategoryIntUpQh

English

The derived category is the localization of the acyclic-shifted homotopy category with respect to the localization data trW; i.e., the triangulated localization realizes D(C).

Русский

Производная категория является локализацией аксиально-смещённой гомотопической категории по локализационной структуре trW; локализация реализует D(C).

LaTeX

$$$\mathrm{IsLocalization}( \mathrm{HomotopyCategory.subcategoryAcyclic}(\mathcal{C}).tr_W )$ for the functor to $\mathrm{DerivedCategory}(\mathcal{C})$$$

Lean4

noncomputable instance : (Qh (C := C)).CommShift ℤ :=
  Functor.CommShift.localized Qh (HomotopyCategory.subcategoryAcyclic C).trW ℤ

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