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