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.