Extraction du Noyau

Le processus consistant à former le sous-objet de l'objet source composé de tous les éléments qu'un morphisme donné envoie vers l'élément neutre (zéro ou identité) de la cible ; ce sous-objet mesure l'échec de l'injectivité pour ce morphisme et est caractérisé, quand il existe, par une propriété universelle d'égaliseur.