kernel

generalization of the kernel of a homomorphism in category theory