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