Definition:Retraction

Definition
Let $\mathbf C$ be a metacategory.

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

A retraction of $f$ is a morphism $g: D \to C$ such that:


 * $g \circ f = \operatorname{id}_C$

Also see

 * Definition:Split Monomorphism, a morphism admitting a retraction
 * Definition:Section (Category Theory), the name for $f$ in the same situation, from the viewpoint of $g$