epi_v₂₃_τ₃

Mathlib.Algebra.Homology.ShortComplex.SnakeLemma

URI: https://scilib.ai/kg/mathlib#CategoryTheory.ShortComplex.SnakeInput.epi_v₂₃_τ₃

English

In an abelian category, the morphism τ3 is epi.

Русский

В абелевой категории морфизм τ₃ эпиморфизм.

LaTeX

$$$\\mathrm{Epi}(S.v_{23}.\\tau_3)$$$

Lean4

instance epi_v₂₃_τ₃ : Epi S.v₂₃.τ₃ :=
  epi_of_isColimit_cofork S.h₃τ₃

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

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

Разделы

Аффилиация

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