# right inverse

## EnglishEdit

### NounEdit

right inverse (plural right inverses)

1. (category theory) For a given morphism f : XY, its right inverse (if it has one) is a morphism s : YX such that ${\displaystyle f\circ s={\mbox{id}}_{Y}}$ .