English Dictionary

right inverse

noun

(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= mbox id_Y.

The function g: Y -> X is a right inverse of f: X -> Y.

意味（1）

(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= mbox id_Y.