What is "right inverse"

n. (context category theory English) 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$.

A right inverse in mathematics may refer to:

• A right inverse element with respect to a binary operation on a set
• A right inverse function for a mapping between sets