En equalizer (også en forskelskerne ) i kategoriteori er en generalisering af konceptet om en løsning til en eller anden ( algebraisk , differentialligning , etc.) ligning, det vil sige et sæt, hvorpå disse afbildninger falder sammen.
Konceptet dual til equalizeren er co- equalizeren .
Morfisme-equalizeren og er grænsen (hvis den findes) for diagrammet , dvs. en sådan morfisme , at der for enhver morfisme er en unik morfisme , for hvilken følgende diagram er kommutativ:
Tilsvarende kan equalizeren defineres som en kouniversal firkant for morfismer og .