# right inverse

## EnglishEdit

### NounEdit

**right inverse** (*plural* **right inverses**)

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

**right inverse** (*plural* **right inverses**)

- (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}$.