Equaliser (source code)

= Equaliser
{wiki=Equaliser_(mathematics)}

= Equalizer
{synonym}

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