instAdditiveModuleCatCoinvariantsFunctor

English

The coinvariants functor is additive; it preserves binary sums of morphisms and zero morphisms between representations.

Русский

Функоризация coinvariants является аддитивной: сохраняет сумму двух гомоморфизмов и нулевой гомоморфизм между представлениями.

LaTeX

$$$\\mathrm{coinvariantsFunctor}_{k,G}: \\mathrm{Rep}(k,G) \\to \\mathrm{ModuleCat}(k)\\ \text{ is additive }$$

Lean4

instance : (coinvariantsFunctor k G).Additive where

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