instLinearHomotopyCategoryIntUpQh

English

The localization functor Qh from the homotopy category to the derived category is linear over R.

Русский

Локализационный функтор Qh из гомотопической категории в производную категорию линейный над R.

LaTeX

$$$$ \text{Qh}: \mathrm{Ho}(C) \to \mathrm{DerivedCategory}(C) \quad \text{is } R\text{-linear}. $$$$

Lean4

instance : Functor.Linear R (DerivedCategory.Qh : _ ⥤ DerivedCategory C) :=
  Localization.functor_linear _ _ _

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