In category theory, a branch of mathematics, a section is a right inverse of some morphism. Dually, a retraction is a left inverse of some morphism.
In other words, if f: X → Y and g: Y → X are morphisms whose composition f o g: Y → Y is the identity morphism on Y, then g is a section of f, and f is a retraction of g.