Continuous reducibilities are a proven tool in Computable Analysis, and have applications in other fields such as Constructive Mathematics or Reverse Mathematics.Expand

Using ideas from synthetic topology, a new approach to descriptive set theory can be reinterpreted as the study of certain endofunctors, primarily in the category of represented spaces.Expand

We investigate the Weihrauch-degree of several solution concepts from noncooperative game theory in a meta-mathematical framework for real number computation.Expand