Definition:Kernel (Category Theory)

Definition
Let $C$ be a category.

Let $f : A \to B $ be a morphism.

Also see

 * Equivalence of Definitions of Kernel of Morphism
 * Definition:Cokernel (Category Theory)
 * Definition:Image (Category Theory)
 * Definition:Coimage (Category Theory)