Definition:Retract

Definition
Let $\mathbf C$ be a metacategory.

Let $f: C \to D$ be a morphism. Let $g: D \to C$ be a retraction of $f$.

Then $D$ is said to be a retract of $C$.

Also see

 * Definition:Retraction