Pullback of an epimorphism is a pushout in an abelian category

ID: pullback-of-an-epimorphism-is-a-pushout-in-an-abelian-category

In an abelian category, suppose a commutative square is a pullback in a category and is an epimorphism. Then is the categorical kernel of the epimorphism . Since an epimorphism is the cokernel of its kernel, any compatible pair , induces a unique map by factoring . Hence the square is also a pushout in a category.

New to topics? Read the docs here!