Many-one reductions and the category of multivalued functions - Arno Pauly (Mathematical Structures in Computer Science, 2017)