Category:Surjection iff Right Inverse