isPreservedBy_of_preservesHomology

English

If a left homology data h is preserved by F, then F preserves the kernel of h.g.

Русский

Если левое гомологическое данные h сохраняется F, тогда F сохраняет ядро гомологии h.g.

LaTeX

$$$\\operatorname{PreservesLimit}(\\text{parallelPair}~S.g~0)\\,F$$$

Lean4

noncomputable instance isPreservedBy_of_preservesHomology [F.PreservesHomology] : h.IsPreservedBy F
    where
  g := Functor.PreservesHomology.preservesKernel _ _
  f' := Functor.PreservesHomology.preservesCokernel _ _

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