Cokernel in a category
= Cokernel in a category
{title2=$\operatorname{coker}f$}
{wiki=Cokernel}
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.
= Cokernel in a category
{title2=$\operatorname{coker}f$}
{wiki=Cokernel}
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.