Pseudo-epimorphism factorization through the kernel of a cokernel
ID: pseudo-epimorphism-factorization-through-the-kernel-of-a-cokernel
In a pointed category with categorical kernels and categorical cokernels, where every monomorphism is normal, every factors through as , with a pseudo-epimorphism. If , write . Then factors through , and the monic is a categorical kernel of some by normality. Since , the cokernel of forces . Hence factors through , forcing to be an isomorphism and therefore . This establishes the factorization without assuming the stronger abelian category axioms.
New to topics? Read the docs here!