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!