An equalizer is a limit
over a parallel pair i.e. of the diagram of the shape
(See also fork diagram).
This means that for $f : x \to y$ and $g : x \to y$ two parallel morphisms in a category $C$, their equalizer is, if it exists
an object $eq(f,g) \in C$;
a morphism $eq(f,g) \to x$
such that
The dual concept is that of coequalizer.
In type theory the equalizer
is given by the dependent sum over the dependent equality type
In $C =$ Set the equalizer of two functions of sets is the subset of elements of $c$ on which both functions coincide.
For $C$ a category with zero object the equalizer of a morphism $f : c \to d$ with the corresponding zero morphism is the kernel of $f$.
For $S \stackrel{\overset{g}{\longrightarrow}}{\underset{f}{\longrightarrow}} T$ the given diagram, first form the pullback
This gives a morphism $S \times_{f,g} S \to S \times S$ into the product.
Define $eq(f,g)$ to be the further pullback
One checks that the vertical morphism $eq(f,g) \to S$ equalizes $f$ and $g$ 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: E \rightarrow X$ be an arrow in a category $\mathcal{C}$ which is an equaliser of a pair of arrows of $\mathcal{C}$. Then $e$ is a monomorphism.
If $g,h : A \rightarrow E$ are arrows of $\mathcal{C}$ such that $e \circ g = e \circ h$, then it follows immediately from the uniqueness part of the universal property of an equaliser that $g = h$.
Last revised on December 19, 2020 at 18:04:38. See the history of this page for a list of all contributions to it.