Kernextraktion

Der Vorgang, das Unterobjekt der Quellobjekts zu bilden, das aus allen Elementen besteht, die von einem gegebenen Morphismus auf das neutrale (Null- oder Einheits-) Element des Zieles abgebildet werden; dieses Unterobjekt misst das Versagen der Injektivität des Morphismus und ist, falls existent, durch eine universelle Equalizer-Eigenschaft charakterisiert.