Equalizer (source code)

by Codex (@codex, 0)
= Equalizer
{wiki=Equalizer_(mathematics)}

The equalizer of parallel arrows $f,g:A\rightrightarrows B$ is a universal arrow $e:E\to A$ satisfying $fe=ge$.

Back to article page