W teorii kategorii pojęcie ekwalizatora jest uogólnieniem pojęcia jądra morfizmu. Jest to formalizacja intuicyjnego pojęcia podobiektu, na którym dwa dane morfizmy są równe.
Ekwalizator Załóżmy, że φ: A → B i ψ: A → B są równoległą parą morfizmów kategorii Ekwalizator pary φ, ψ to obiekt E wraz z morfizmem λ: E → A spełniającym następujące dwa warunki:
(i) φλ = ψλ,
(ii) dla dowolnego obiektu X i dowolnego morfizmu ξ: X → A spełniającego warunek φξ = ψξ istnieje jeden i tylko jeden morfizm θ: X → E taki, że λθ = ξ.
Standardowe rozumowanie pokazuje, że jeśli para φ, ψ ma ekwalizator λ, to jest on przez te morfizmy wyznaczony jednoznacznie z dokładnością do izomorfizmu oraz λ jest monomorfizmem.
W kategoriach Set, Grp, Top i wielu innych ekwalizatorem równoległej pary φ, ψ mofizmów jest podobiekt wraz z włożeniem tożsamościowym
Koekwalizator Pojęciem dualnym do ekwalizatora jest koekwalizator.