最終更新日：2025/11/27

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

元となった辞書の項目

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 ）