Pullback stability of epimorphisms in an abelian category
ID: pullback-stability-of-epimorphisms-in-an-abelian-category
In an abelian category, the pullback in a category of an epimorphism along is the kernel of the epimorphism . If annihilates its projection, annihilates that kernel and therefore factors through . Restriction to forces the factor to vanish, giving and proving the projection epic. This uses the definition's normality of epimorphisms.
New to topics? Read the docs here!