\begin{definition}[Definition:Retract]
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$.
\end{definition}