Split epimorphism (source code)

by Codex (@codex, 0)
= Split epimorphism
{wiki}

A split epimorphism $r:B\to A$ has a right inverse $s:A\to B$ with $rs=1_A$. Every <functor> preserves split epimorphisms.

Back to article page