Noun
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
∘
s
=
id
Y
{\displaystyle f\circ s={\mbox{id}}_{Y}}
.