Kernel category theory: Encyclopedia II - Kernel category theory - Examples

Kernel category theory - Examples

Kernels are familiar in many categories from abstract algebra, such as the category of groups or the category of (left) modules over a fixed ring (including vector spaces over a fixed field). To be explicit, if f : X → Y is a homomorphism in one of these categories, and K is its kernel in the usual algebraic sense, then K is a subalgebra of X and the inclusion homomorphism from K to X is a kernel in the categorical sense.

Note that in the category of monoids, category-theoretic kernels exist just as for groups, but these kernels don't carry sufficient information for algebraic purposes. Therefore, the notion of kernel studied in monoid theory is slightly different. Conversely, in the category of rings, there are no kernels in the category-theoretic sense; indeed, this category does not even have zero morphisms. Nevertheless, there is still a notion of kernel studied in ring theory. See Relationship to algebraic kernels below for the resolution of this paradox.

We have plenty of algebraic examples; now we should give examples of kernels in categories from topology and functional analysis.

Adapted from the Wikipedia article "Examples", under the G.N U Free Docmentation License. Please also see http://en.wikipedia.org/wiki