Dans le domaine mathématique de la théorie des catégories, si on a un couple de morphismes f : X → Y {\displaystyle f\colon X\to Y}, g : Y → X {\displaystyle g\colon Y\to X} tel que f ∘ g = id Y {\displaystyle f\circ g=\operatorname {id} _{Y}}, on dit que g est une section de f, et que f est une rétraction de g. Wikipedia