Coequalizer
= Coequalizer
{wiki}
The coequalizer of parallel arrows $f,g:A\rightrightarrows B$ is a universal arrow $q:B\to Q$ satisfying $qf=qg$. Every other arrow equalizing $f$ and $g$ factors uniquely through $q$.
= Coequalizer
{wiki}
The coequalizer of parallel arrows $f,g:A\rightrightarrows B$ is a universal arrow $q:B\to Q$ satisfying $qf=qg$. Every other arrow equalizing $f$ and $g$ factors uniquely through $q$.