Utjevner (matematikk)

En utjevner eller differansekjerne for to eller flere funksjoner mellom to mengder består av de elementene der funksjonene er identiske. En utjevner utgjør løsningsmengden til en eller flere likninger.

Definisjon 
For en generell kategori defineres en utjevner ved hjelp av følgende universelle egenskap: For to morfier f : X → Y og g : X → Y, er en utjevner et objekt E og en morfi eq : E → X slik at , og slik at enhver annen funksjon m : O → X slik at  faktoriserer unikt gjennom E, dvs. det eksisterer en unik u : O  → E slik at .

Eksterne lenker 

 Interactive Web page  which generates examples of equalizers in the category of finite sets. Written by Jocelyn Paine
 Om utjevner, fra nLab (engelsk)

Mengdelære