Kerno (teorio de kategorioj)

Ĉi tiu artikolo bezonas poluradon, ĉar ĝi montras stilajn kaj/aŭ gramatikajn kaj/aŭ strukturajn problemojn, kiuj ne konformas al stilogvido. La priskribo de la problemo troviĝas ĉi tie. Bonvolu ŝanĝi la enhavon por plibonigi la artikolon.

En teorio de kategorioj kaj ties aplikoj al aliaj branĉoj de matematiko, kernoj estas ĝeneraligo de la kernoj de grupaj homomorfioj kaj la kernoj de modulo-homomorfioj kaj certaj aliaj kernoj de algebro. Intuicie, la kerno de la strukturkonservanta transformo f : X → Y estas la "plej ĝenerala" strukturkonservanta transformo k : K → X kiu, kiam komponita kun f, rendonas nulon.

Notu, ke kerno-paroj kaj diferenco-kernoj (alinome duumaj egaligiloj) iam estis juĝitaj laŭ la nomo "kerno"; dum rilatantaj, ĉi tiuj ne estas sufiĉe la sama afero kaj estas ne diskutita en ĉi tiu artikolo.