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!