Equalizer is { ( x , y ) ∈ R 2 | x 2 + y 2 = 1 } {\displaystyle \{(x,y)\in \mathbb {R} ^{2}\;|\;x^{2}+y^{2}=1\}} plus projection map.
