structural:scholar_edition, structural:reformatting
Kernels in category theory

The notion of kernel in category theory is a generalisation of the kernels of abelian algebras; see Kernel (category theory).The categorical generalisation of the kernel as a congruence relation is the kernel pair.(There is also the notion of difference kernel, or binary equaliser.)