Cokernel invariance under pushout

ID: cokernel-invariance-under-pushout

In a pointed category, a pushout in a category of and induces an isomorphism between their categorical cokernels, when those cokernels exist. Push out the cokernel map of together with the zero map, then factor through the cokernel of . Cokernel and pushout uniqueness prove that this map is inverse to the induced comparison. No abelian hypothesis is needed.

New to topics? Read the docs here!