Kernel

Definition

Let $\mathcal{C}$ be a pointed category, with morphism $f:\mathcal{C}[x,y]$.
The kernel of $f$ is is the equalizer of

$$f,0:x⟶y$$