preservesHomologyOfExact — Mathlib

English

A functor that preserves finite limits and finite colimits and preserves zero morphisms also preserves homology.

Русский

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

LaTeX

$$$F\\text{ preserves homology}$$$

Lean4

noncomputable instance preservesHomologyOfExact [PreservesFiniteLimits F] [PreservesFiniteColimits F] :
    F.PreservesHomology where

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