homologySequence_mono_shift_map_mor₂_iff

English

The composition in a shifted diagram yields an exact short complex in the context of a distinguished triangle.

Русский

Компоновка в сдвинутой диаграмме даёт точный краткий комплекс в контексте выделенного треугольника.

LaTeX

$$$(F.shift n_0).obj T.obj_1 \to (F.shift n_0).obj T.obj_2 \to (F.shift n_0).obj T.obj_3$ is Exact under δ$$

Lean4

theorem homologySequence_mono_shift_map_mor₂_iff : Mono ((F.shift n₀).map T.mor₂) ↔ (F.shift n₀).map T.mor₁ = 0 :=
  (F.homologySequence_exact₂ T hT n₀).mono_g_iff

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