Extracción del Núcleo

El proceso de formar el subobjeto del objeto fuente compuesto por todos los elementos que un morfismo dado envía al elemento neutro (cero o identidad) del codominio; este subobjeto mide el fallo de inyectividad del morfismo y se caracteriza por una propiedad universal de igualador cuando existe.