Definition:Kernel (Category Theory)/Uniqueness

From ProofWiki
Jump to navigation Jump to search

On Uniqueness

Since the kernel is defined by a universal property it is only unique up to unique isomorphism.

While for example in group theory the kernel of a group homomorphism $f : G \to H$ is a subset of $G$, not all categorical kernels of $f$ in the category of groups are subsets of $G$.

Also see