A topos for extended Weihrauch degrees

Samuele Maschio, Davide Trotta

Weihrauch reducibility is a notion of reducibility between computational problems that is useful to calibrate the uniform computational strength of a multivalued function. It compl…