Entonces "G" es el adjunto derecho de "F", lo que expresa la propiedad universal de los núcleos, y la co-unidad de esta adjunción da el encaje natural del núcleo de un homomorfismo en el dominio del homomorfismo.