Retract in a category
= Retract in a category
An object $A$ is a retract of $B$ when there are morphisms $s:A\to B$ and $r:B\to A$ with $rs=1_A$. The map $s$ is a <split monomorphism> and $r$ is a <split epimorphism>.
= Retract in a category
An object $A$ is a retract of $B$ when there are morphisms $s:A\to B$ and $r:B\to A$ with $rs=1_A$. The map $s$ is a <split monomorphism> and $r$ is a <split epimorphism>.