right inverse

Category theory, Computing, Engineering, Mathematics, Natural sciences, Physical sciences, Sciences For a given morphism f : X → Y, its right inverse (if it has one) is a morphism s : Y → X such that f∘s= mbox id_Y.