Category:Mapping is Injection and Surjection iff Inverse is Mapping