right inverse

名詞

(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.

日本語の意味

（圏論において）ある射 f: X→Y に対して、その右逆射とは、存在する場合、射 s: Y→X であり、f∘s が恒等射 id_Y となるものを指す。

In category theory, a right inverse of a morphism f: X → Y is a morphism s: Y → X such that f ∘ s = id_Y.

圏論では、射 f: X → Y の右逆射とは、f ∘ s = id_Y を満たす s: Y → X の射のことです。

意味（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.

right inverses

（ plural ）