Category:Conditions for Uniqueness of Left Inverse Mapping