Category:Injection iff Left Inverse