What is the meaning of Left_inverse?

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\circ f={\mbox{id}}_{X}$ .