kernel

En la teoría de categorías​ y sus aplicaciones a otras ramas de las matemáticas, los kerneles ​ o núcleos son una generalización de los núcleos de los homomorfismos de grupo, los núcleos de y ciertos otros núcleos en álgebra. Intuitivamente, el núcleo del morfismo f : X → Y es el morfismo "más general" k : K → X que genera cero cuando se compone con (seguido por) f. Téngase en cuenta que los y las (también conocidos como ecualizadores binarios) a veces también se denominan "kernel"; aunque, si bien están relacionadas, no son lo mismo, y no se tratan en este artículo.