instAdditiveHomologicalComplexQuotientHomotopicFunctor

English

The quotient category admits a linear structure over a semiring R, provided V is linear over R and the ambient category is suitably enriched.

Русский

Квотная категория допускает линейную структуру над полем/полукольцом R при условии линейности исходных структур.

LaTeX

$$$\text{Linear } R (\mathrm{HomotopyCategory}(V,c))$$$

Lean4

instance : Functor.Additive (Quotient.functor (homotopic V c)) where

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