Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Last revision Both sides next revision | ||
|
equalizer_._category_theory [2016/05/21 14:41] nikolaj |
equalizer_._category_theory [2016/05/21 15:13] nikolaj |
||
|---|---|---|---|
| Line 12: | Line 12: | ||
| === Examples === | === Examples === | ||
| - | In ${\bf{Set}}$, if $f,g:A\to B$, then their equalizer $E$ is the set | + | In ${\bf{Set}}$, if $f,g:A\to B$, then their equalizer is the set |
| - | $\{a\in A\ |\ f(a)=g(a)\}$ | + | $E=\{a\in A\ |\ f(a)=g(a)\}$ |
| and $e:E\to A$ is the obvious injection. | and $e:E\to A$ is the obvious injection. | ||
