Kernel pair
= Kernel pair
{title2=$A\times_BA\rightrightarrows A$}
{wiki}
The kernel pair of a morphism $f:A\to B$ is the <pullback in a category> $A\times_BA$ with its two projections to $A$. It is the universal parallel pair equalized by $f$.
= Kernel pair
{title2=$A\times_BA\rightrightarrows A$}
{wiki}
The kernel pair of a morphism $f:A\to B$ is the <pullback in a category> $A\times_BA$ with its two projections to $A$. It is the universal parallel pair equalized by $f$.