Split monomorphism (source code)

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

A split monomorphism $f:A\to B$ has a left inverse $r:B\to A$ with $rf=1_A$. Every <functor> preserves split monomorphisms.

Back to article page