In the category of sets, any map with a section is certainly surjective. The converse statement is called the axiom of choice: Corollary: Every surjection has a section.