instMonoI

Mathlib.Algebra.Homology.ShortComplex.LeftHomology

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

English

If two LeftHomologyMapData γ1 and γ2 are equal, then their φK components are equal as well.

Русский

Если две данные отображения левой гомологической части γ1 и γ2 равны, то их компоненты φK также равны.

LaTeX

$$$\gamma_{1} = \gamma_{2} \Rightarrow \gamma_{1}.\phi K = \gamma_{2}.\phi K$$$

Lean4

instance : Mono h.i :=
  ⟨fun _ _ => Fork.IsLimit.hom_ext h.hi⟩

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

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

Разделы

Аффилиация

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