The process of forming the subobject of a source object consisting of all elements that a given morphism sends to the neutral (zero or identity) element of the target; this subobject measures the failure of injectivity for that morphism and is characterized by a universal equalizer property when it exists.

Principle

A kernel is the preimage of the neutral element under a morphism and is the universal morphism factoring any arrow that is sent to the neutral element; kernels exist and behave naturally in pointed categories with zero morphisms and provide the categorical notion of ‘elements killed by a morphism’.

Demonstration

In group theory, for a homomorphism f: G → H the kernel is the subgroup {g ∈ G | f(g) = e_H}; in linear algebra for a linear map T: V → W the kernel (nullspace) is {v ∈ V | T(v) = 0}, a subspace whose dimension is the nullity in the rank–nullity theorem.

Misapplication

Treating the set of elements mapping to the identity as a kernel without checking it is a subobject in the appropriate category (for example, forgetting normality in group kernels), or confusing kernel extraction with taking the cokernel or image, which measure different failures of invertibility.

Consequence

Correct kernel extraction identifies whether a morphism is monic (kernel trivial) and, combined with image/cokernel constructions, yields isomorphism theorems; it organizes exact sequences and measures obstructions to injectivity.

Reversal

Cokernel extraction is the dual operation: forming the quotient of the target by the image of a morphism measures failure of surjectivity rather than injectivity.

Boundary

Defined only where the ambient category is pointed and admits equalizers or zero morphisms; in categories without a notion of zero or without limits the construction may not exist or require modification (for example, kernels in non-abelian settings require additional structure such as normality).

Semantic Tension

Confusion may arise between the set-theoretic preimage of a single element and the categorical kernel which must be a subobject with universal property; similarly, 'kernel' in ring theory (ideal of elements mapped to zero) interacts with two-sidedness requirements absent in other contexts.

Synthesis

Kernel extraction isolates the source-side obstruction to injectivity by assembling all elements sent to the neutral element into the universal equalizer subobject, thereby providing a canonical invariant that feeds into exactness and isomorphism results.