In an abelian category, the cokernel of a morphism f is the coequalizer of f and the zero morphism, giving the quotient of the codomain by the image of f.

To classify the homomorphisms, the researchers computed the cokernels of each map and compared their structures.