instPreservesZeroMorphismsRepChainComplexModuleCatNatChainsFunctor

Mathlib.RepresentationTheory.Homological.GroupHomology.Functoriality

URI: https://scilib.ai/kg/mathlib#groupHomology.instPreservesZeroMorphismsRepChainComplexModuleCatNatChainsFunctor

English

For each n, the functor (chainsFunctor k G n) preserves zero morphisms, i.e., it sends the zero map to zero.

Русский

Для каждого n функтор (chainsFunctor k G n) сохраняет нулевые морфизмы, то есть отображает нулевой морфизм в ноль.

LaTeX

$$$ (\text{chainsFunctor } k G n).PreservesZeroMorphisms $$$

Lean4

instance : (chainsFunctor k G).PreservesZeroMorphisms where

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

Научная платформа российской исследовательской школы.

Разделы

Аффилиация

Вычислительный центр им. А. А. Дороницына при ФИЦ «Информатика и Управление» РАН frccsc.ru