Pullback of a short exact sequence in an abelian category
= Pullback of a short exact sequence in an abelian category
Pulling back the final arrow of a <short exact sequence in an abelian category> preserves its kernel object and yields another <short exact sequence in an abelian category>. The new kernel inclusion is specified by its old kernel component and zero component into the new quotient. The <pullback stability of epimorphisms in an abelian category> ensures the new final arrow remains epic.