instAdditiveActionTopModuleCatI

Mathlib.Algebra.Category.ContinuousCohomology.Basic

URI: https://scilib.ai/kg/mathlib#ContinuousCohomology.instAdditiveActionTopModuleCatI

English

The invariants functor (invariants R G) is additive; it preserves zero morphisms and sums.

Русский

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

LaTeX

$$$\\text{invariants } R\\ G\\ Additive$$$

Lean4

instance : (I R G).Additive where

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

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

Разделы

Аффилиация

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