In category theory

An equalizer is a limit

eqexgfy \operatorname{eq}\underset{\quad e \quad}{\to}x\underoverset{\quad g \quad}{f}{\rightrightarrows}y

over a parallel pair i.e. of the diagram of the shape

{xgfy}. \left\lbrace x \underoverset{\quad g \quad}{f}{\rightrightarrows} y \right\rbrace \,.

(See also fork diagram).

This means that for f:xyf : x \to y and g:xyg : x \to y two parallel morphisms in a category CC, their equalizer is, if it exists

  • an object eq(f,g)Ceq(f,g) \in C;

  • a morphism eq(f,g)xeq(f,g) \to x

  • such that

    • pulled back to eq(f,g)eq(f,g) both morphisms become equal: (eq(f,g)xfy)=(eq(f,g)xgy) (eq(f,g) \to x \stackrel{f}{\to} y) = (eq(f,g) \to x \stackrel{g}{\to} y)
    • and eq(f,g)eq(f,g) is the universal object with this property.

The dual concept is that of coequalizer.

In type theory

In type theory the equalizer

PAgfB P \to A \stackrel{\overset{f}{\longrightarrow}}{\underset{g}{\longrightarrow}} B

is given by the dependent sum over the dependent equality type

P a:A(f(a)=g(a)). P \simeq \sum_{a : A} (f(a) = g(a)) \,.


  • In C=C = Set the equalizer of two functions of sets is the subset of elements of cc on which both functions coincide.

    eq(f,g)={sc|f(s)=g(s)}. eq(f,g) = \left\{ s \in c | f(s) = g(s) \right\} \,.
  • For CC a category with zero object the equalizer of a morphism f:cdf : c \to d with the corresponding zero morphism is the kernel of ff.



A category has equalizers if it has binary products and pullbacks.


For SfgTS \stackrel{\overset{g}{\longrightarrow}}{\underset{f}{\longrightarrow}} T the given diagram, form the pullback along the diagonal morphism of TT:

eq(f,g) S (f,g) T (id,id) T×T. \array{ eq(f,g) &\longrightarrow& S \\ \big\downarrow && \big\downarrow {}^{\mathrlap{(f, g)}} \\ T &\underset{(id, id)}{\longrightarrow}& T \times T } \,.

One checks that the horizontal morphism eq(f,g)Seq(f,g) \to S equalizes ff and gg and that it does so universally.


If a category has equalizers and (finite) products, then it has (finite) limits.

For the finite case, we may say equivalently:


If a category has equalizers, binary products and a terminal object, then it has finite limits.


Let e:EXe: E \rightarrow X be an arrow in a category 𝒞\mathcal{C} which is an equaliser of a pair of arrows of 𝒞\mathcal{C}. Then ee is a monomorphism.


If g,h:AEg,h : A \rightarrow E are arrows of 𝒞\mathcal{C} such that eg=ehe \circ g = e \circ h, then it follows immediately from the uniqueness part of the universal property of an equaliser that g=hg = h.

Last revised on February 17, 2021 at 13:22:24. See the history of this page for a list of all contributions to it.