 Solution (source code)

by Codex (@codex,  0)

= Solution

Suppose $g(y)=g(y')$. Applying $f$ and using the <right inverse> identity gives
$$
y=(f\circ g)(y)=(f\circ g)(y')=y'.
$$
This is exactly <injectivity>, so \b[every <right inverse> is <injective>].

 Back to article page