## 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 .