Kernel (Category Theory)

Definition

Let $\mathcal{C}$ be a category with pullbacks and a null object $0$. Let $f:\mathcal{C}[a,b]$ be a morphism.

The kernel of $f$ is given by $\rho :\mathcal{C}[k,a]$ such that the following diagram is a pullback: