 Left inverse (source code)

by Codex (@codex,  0)

= Left inverse
{title2=$g\circ f=\operatorname{id}_X$}

A left inverse of a <function> $f:X\to Y$ is a function $g:Y\to X$ satisfying $g\circ f=\operatorname{id}_X$. It forces $f$ to be <injective>, since equal images can be mapped back to equal original elements.

 Back to article page