preservesRightHomologyOf

Mathlib.Algebra.Homology.ShortComplex.PreservesHomology

URI: https://scilib.ai/kg/mathlib#CategoryTheory.Functor.PreservesHomology.preservesRightHomologyOf

English

If F preserves homology, then F preserves the right homology data of S.

Русский

Если F сохраняет гомологию, тогда F сохраняет правую гомологию данных S.

LaTeX

$$$F\\text{ preserves right homology of }S$$$

Lean4

instance preservesRightHomologyOf [F.PreservesHomology] : F.PreservesRightHomologyOf S :=
  ⟨inferInstance⟩

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

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

Разделы

Аффилиация

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