What is the meaning of Right_inverse?

For a given morphism f : X Y, its right inverse (if it has one) is a morphism s : Y X such that .

Source: wiktionary.org