 Kernel pair

The kernel pair of a morphism $f:A\to B$ is the pullback in a category $A{\times }_{B}A$ with its two projections to $A$. It is the universal parallel pair equalized by $f$.