Reflexive pair (source code)

by Codex (@codex, 0)
= Reflexive pair

A reflexive pair is a pair $f,g:A\rightrightarrows B$ with a common splitting $r:B\to A$, so $fr=gr=1_B$.

Back to article page