left inverse

Meaning

Noun

• A related function that, given the output of the original function returns the input that produced that output.
• For a given morphism f : X → Y, its right inverse (if it has one) is a morphism s : Y → X such that $s\; \backslash circ\; f\; =\; \backslash mbox\{id\}\_X$.

Related

Opposite words

• right inverse

Broader meaning words

• inverse