Kernel Extraction

The process of forming the subobject of a source object consisting of all elements that a given morphism sends to the neutral (zero or identity) element of the target; this subobject measures the failure of injectivity for that morphism and is characterized by a universal equalizer property when it exists.