Pullback of a short exact sequence in an abelian category

ID: 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.

New to topics? Read the docs here!