Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

This link indicates how to form co-equalizer in category of Set. I have been given homework to describe co-equalizer for a variant of Set category but I am unable to understand completely how to form it in Set. Can someone please explain in "easy way" how to form co-equalizers in category Set?

Thank you.

share|cite|improve this question
Can you say which part of the explanation confuses you? – Zhen Lin Dec 9 '11 at 21:12
What is minimal equivalence relation on Y that makes $f$ and $g$ equal? More precisely, what is the canonical map $c$ in this case? – user18096 Dec 9 '11 at 21:32
The minimal equivalence relation is... the minimal equivalence relation. If you don't understand that then the problem is not with category theory. The canonical map is simply the quotient map taking an element $x$ to its equivalence class $[x]$. – Zhen Lin Dec 9 '11 at 21:36
I meant how to define the equivalence relation ~ here. Is it right to define $y_1$ ~ $y_2$ when $f(x)=g(x)$ for all $x\in X$? Is it minimal? – user18096 Dec 9 '11 at 21:46
What you write makes no sense. $y_1\sim y_2$ has no letter in common with $f(x)=g(x)$. You start with a relation that makes $f(x)\sim g(x)$ for each $x\in X$. Chances are, this by itself will not be an equivalence relation, so you consider the smallest equivalence relation that contains all pairs of the form $(f(x),g(x))$ (the intersection of all equivalence relations that contain all such pairs). This is an equivalence relation, and its the smallest equivalence relation in which $f(x)\sim g(x)$ holds for each $x\in X$. – Arturo Magidin Dec 9 '11 at 21:53
up vote 3 down vote accepted

Let $X$ and $Y$ be sets, and let $f, g : X \to Y$ be maps. The coequaliser of $f$ and $g$ is the quotient map $c : Y \to Y / \sim$, where $\sim$ is the smallest equivalence relation such that $f(x) \sim g(x)$ for all $x$ in $X$. So, for example, the following will be true:

  • For all $y$ in $Y$, $y \sim y$.
  • For all $x_1, \ldots, x_n$ in $X$ such that $g(x_1) = f(x_2), g(x_2) = f(x_3), \cdots, g(x_{n-1}) = f(x_n)$, we have $f(x_1) \sim g(x_n)$.
  • If $g(x_1) = g(x_2)$ then $f(x_1) \sim f(x_2)$.

Working out what the equivalence relation is explicitly is not very enlightening; it is far more useful to understand the universal property of a coequaliser.

share|cite|improve this answer
thanks very helpful. – user18096 Dec 9 '11 at 22:08
I would say that not working out explicitly the equivalence relation will only result in the result seeming magical. In particular, if person X cannot tell me when to elements of the equalizer are equal in terms of the initial data of the problem, it is rather hard to conclude that she has any idea of what the coequalizer is. – Mariano Suárez-Alvarez Dec 10 '11 at 3:13
Why do we need of the last requirement for the equivalence relation? – user42912 Apr 12 '14 at 13:43

One particular example of coequalizer may be known to you. Let's say we are in the category of vector spaces, or abelian groups. Let $f: V \longrightarrow W$ be any linear map (group morphism) and $0: V \longrightarrow W$ the zero map (morphism), that is, the map which sends every element of $V$ to zero. Then, the coequalizer of $f$ and $0$ is just the cokernel of $f$, $\mathrm{cok}\ f = W / \mathrm{im}\ f$.

share|cite|improve this answer

The key point in building the coequalizer is to figure out the $"\sim"$ equivalence relation. This simply mean that we need to somehow partition the set Y.

Note that the smallest the equivalence relation, the largest the number of partitions. Thus, our goal is to partition Y as far as possible under certain conditions.

The largest number of partitions happens when we put each element of Y into one partition. However, we need to merge some of these partitions to satisfy the coequalizer definition. To this end, I think following the following pseudo code will will provide us with the desired partions:

$P = empty     // keep the partitions
for each $y in Y{
   build a new partition called $p; 
   put $y in $p;
   put $p in $P;  
for each $x in X { 
       merge the partitions in $P that contain either f(x) or g(x);

The above pseudo code build your partitions in Y. This might be the one that you can get with the smallest equivalence relation with the conditions explained for the coequalizer.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.