right inverse

right inverse (plural right inverses)

1. (category theory) For a given morphism f : X → Y, its right inverse (if it has one) is a morphism s : Y → X such that ${\displaystyle f\circ s={\mbox{id}}_{Y}}$.

• section

• left inverse