instPreservesZeroMorphismsModuleCatCoinvariantsFunctor

Mathlib.RepresentationTheory.Coinvariants

URI: https://scilib.ai/kg/mathlib#Rep.instPreservesZeroMorphismsModuleCatCoinvariantsFunctor

English

The coinvariants functor preserves zero morphisms between representations.

Русский

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

LaTeX

$$$\\text{PreservesZeroMorphisms}(\\text{coinvariantsFunctor } k G)$$$

Lean4

instance : (coinvariantsFunctor k G).PreservesZeroMorphisms where

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

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

Разделы

Аффилиация

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