right inverse

== English == === 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}} . ==== Synonyms ==== section ==== Antonyms ==== left inverse ==== Translations ====