Category:Injection iff Left Cancellable