rightHomologyFunctor_linear — Mathlib

English

The right-hand homology functor on ShortComplexes over modules carries an $R$-linear structure; in particular, it is an $R$-linear functor.

Русский

Правый гомологический функтор над короткими комплексами модулей имеет структуру $R$-линейности; то есть является $R$-линейным функтором.

LaTeX

$$$\\mathrm{rightHomologyFunctor}(C)$ is an $R$-linear functor$$

Lean4

instance rightHomologyFunctor_linear [HasKernels C] [HasCokernels C] : Functor.Linear R (rightHomologyFunctor C) where

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