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!