Differences

This shows you the differences between two versions of the page.

--- equalizer_._category_theory [2016/05/19 19:53]
nikolaj
+++ equalizer_._category_theory [2016/05/21 15:13]
nikolaj
@@ Line 9: / Line 9: @@
 -----
+{{ category_theory_equalizer_diagram.png?X200}}
 === Examples ===
-In ${\bf{Set}}$, if $f,g:A\to B$, then their equalizer $E$ is the set $\{a\in A\ |\ f(a)=g(a)\}$ and $e:E\to A$ is the obvious injection.
+In ${\bf{Set}}$, if $f,g:A\to B$, then their equalizer is the set
+$E=\{a\in A\ |\ f(a)=g(a)\}$
+and $e:E\to A$ is the obvious injection.
+Remark: In the image, $e=E$ and $i=e$.
 === Reference ===
 nLab: [[http://ncatlab.org/nlab/show/equalizer|Equalizer]]