Cokernel in a category

ID: cokernel-in-a-category

The cokernel of is the universal morphism satisfying . It is the coequalizer of and the zero morphism.

New to topics? Read the docs here!