noun
Meaning 1
For a given morphism f : X → Y, its right inverse (if it has one) is a morphism s : Y → X such that f∘s= mbox id_Y.
Definition source: English Wiktionary via Wiktextract
Topics: category-theory, computing, engineering, mathematics, natural-sciences, physical-sciences, sciences
No example sentence was provided for this meaning.
Meaning relationships
Synonyms: none provided
Antonyms: none provided