cyclesFunctor_linear

Mathlib.Algebra.Homology.ShortComplex.Linear

URI: https://scilib.ai/kg/mathlib#CategoryTheory.ShortComplex.cyclesFunctor_linear

English

The cycles functor is linear over R with kernels and cokernels assumed.

Русский

Функтор циклов линейный по отношению к R при условии существования ядер и когерер.

LaTeX

$$$\text{cyclesFunctor}$ is $R$-linear$$

Lean4

instance cyclesFunctor_linear [HasKernels C] [HasCokernels C] : Functor.Linear R (cyclesFunctor C) where

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

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

Разделы

Аффилиация

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