 Split monomorphism

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