Weihrauch goes Brouwerian

Vasco Brattka, Guido Gherardi

We prove that the Weihrauch lattice can be transformed into a Brouwer algebra by the consecutive application of two closure operators in the appropriate order: first completion and…