Coreflexive pair (source code)

= Coreflexive pair
{title2=$rf=rg=1_B$}

A coreflexive pair $f,g:B\rightrightarrows A$ has a common retraction $r:A\to B$ with $rf=rg=1_B$. It is the dual of a <reflexive pair>. Both $f$ and $g$ are <split monomorphisms>.