The Stacks Project


Tag 0027

4.10. Equalizers

Definition 4.10.1. Suppose that $X$, $Y$ are objects of a category $\mathcal{C}$ and that $a, b : X \to Y$ are morphisms. We say a morphism $e : Z \to X$ is an equalizer for the pair $(a, b)$ if $a \circ e = b \circ e$ and if $(Z, e)$ satisfies the following universal property: For every morphism $t : W \to X$ in $\mathcal{C}$ such that $a \circ t = b \circ t$ there exists a unique morphism $s : W \to Z$ such that $t = e \circ s$.

As in the case of the fibre product above, equalizers when they exist are unique up to unique isomorphism. There is a straightforward generalization of this definition to the case where we have more than $2$ morphisms.

    The code snippet corresponding to this tag is a part of the file categories.tex and is located in lines 1041–1060 (see updates for more information).

    \section{Equalizers}
    \label{section-equalizers}
    
    \begin{definition}
    \label{definition-equalizers}
    Suppose that $X$, $Y$ are objects of a category $\mathcal{C}$
    and that $a, b : X \to Y$ are morphisms. We say a morphism
    $e : Z \to X$ is an {\it equalizer} for the pair $(a, b)$ if
    $a \circ e = b \circ e$ and if $(Z, e)$ satisfies the following
    universal property: For every morphism $t : W \to X$
    in $\mathcal{C}$ such that $a \circ t = b \circ t$ there exists
    a unique morphism $s : W \to Z$ such that $t = e \circ s$.
    \end{definition}
    
    \noindent
    As in the case of the fibre product above, equalizers when
    they exist are unique up to unique isomorphism. There is a
    straightforward generalization of this definition to the
    case where we have more than $2$ morphisms.

    Comments (0)

    There are no comments yet for this tag.

    Add a comment on tag 0027

    Your email address will not be published. Required fields are marked.

    In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the lower-right corner).

    All contributions are licensed under the GNU Free Documentation License.




    In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following box. So in case this where tag 0321 you just have to write 0321. Beware of the difference between the letter 'O' and the digit 0.

    This captcha seems more appropriate than the usual illegible gibberish, right?