instPreservesZeroMorphismsOpcyclesFunctor

Mathlib.Algebra.Homology.ShortComplex.HomologicalComplex

URI: https://scilib.ai/kg/mathlib#HomologicalComplex.instPreservesZeroMorphismsOpcyclesFunctor

English

The opcycles functor preserves zero morphisms: it sends zeros to zeros.

Русский

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

LaTeX

$$$$ \text{OpcyclesFunctor}(C,c,i) \; \text{ preserves zero morphisms} $$$$

Lean4

instance [CategoryWithHomology C] : (opcyclesFunctor C c i).PreservesZeroMorphisms where

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

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

Разделы

Аффилиация

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