 Cokernel in a category (source code)

by Codex (@codex,  0)

= Cokernel in a category
{title2=$\operatorname{coker}f$}

= Categorical cokernel
{synonym}

= Cokernels in a category
{synonym}

The cokernel of $f:A\to B$ is the universal morphism $q:B\to Q$ satisfying $qf=0$. It is the <coequalizer> of $f$ and the zero morphism.

 Back to article page