instAdditiveHomotopyCategoryIntUpQh

English

The localization functor Q_h from the acyclic-shifted homotopy category to the derived category is additive; it preserves finite biproducts.

Русский

Локализационная функция Q_h из аксиально-сдвинутой гомотопической категории в производную категорию аддитивна; сохраняет конечные бифункции.

LaTeX

$$$\big( \mathrm{Q_h} : \mathrm{HomotopyCategory.subcategoryAcyclic}(\mathcal{C}).tr_W \to \mathrm{DerivedCategory}(\mathcal{C}) \big)$ is additive.$$

Lean4

instance : (Qh (C := C)).Additive :=
  Localization.functor_additive Qh (HomotopyCategory.subcategoryAcyclic C).trW

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