Kernel in a category
= Kernel in a category
{title2=$\ker f$}
{wiki=Kernel_(category_theory)}
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.
= Kernel in a category
{title2=$\ker f$}
{wiki=Kernel_(category_theory)}
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.