left inverse

名詞

(mathematics) A related function that, given the output of the original function returns the input that produced that output.

日本語の意味

数学において、ある関数の出力からその出力を生み出した入力を求めるために定義される、元の関数に対する左側からの逆作用を持つ関数（左逆関数）

講義で数学者は、関数 f に対して出力から元の入力を復元する左逆関数を構築し、その方法を示した。

意味（1）

(mathematics) A related function that, given the output of the original function returns the input that produced that output.

In order for a function to have a left inverse it must be injective.

意味（2）

(category theory) For a given morphism f : X → Y, its right inverse (if it has one) is a morphism s : Y → X such that s∘f= mbox id_X.

left inverses

（ plural ）