right inverse

Noun

 * 1)  For a given morphism f : X &rarr; Y, its right inverse (if it has one) is a morphism s : Y &rarr; X such that $$ f \circ s = \mbox{id}_Y $$.

Translations

 * German: Rechtsinverses