Category theory MOC

Kernel

In a category with zero morphisms, the kernel of a morphism is the equalizer of with the zero morphism . cat

The dual notion is the cokernel.

Examples in particular categories

• Kernel of a group homomorphism in Category of groups and Category of abelian groups
• Linear kernel in Category of vector spaces
• Module kernel in Category of left modules
• Kernel of an algebra homomorphism in Category of algebras
• Kernel of a Lie algebra homomorphism in Category of Lie algebras

---

tidy | en | sembr