Kernel in a category ($\ker f$)

The kernel of $f:A\to B$ is the universal morphism $k:K\to A$ satisfying $fk=0$. It is the equalizer of $f$ and the zero morphism.