 ##  [Kernextraktion](/de/node/61479) 

  ##  [Kernextraktion](https://puremath.quantumdictionary.io/de/node/61480) 

  

 [![Pure Mathematics Dictionary](/sites/default/files/styles/large/public/2026-01/Pure%20Mathematics.png.webp?itok=5pZnFQ59)](/topic-specific-dictionaries/mathematics-logic/pure-mathematics)

- Mathematics &amp; Logic -

**Pure Mathematics Dictionary**

 







 

 

 

 



 

 

 

 

Definition

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.