Abstract:

Weihrauch prolems can be regarded as containers over the category of projective represented spaces and Weihrauch reductions correspond exactly to container morphisms. Using this characterisation, a number of operators over Weihrauch degrees, including the composition of degrees, arise naturally from the theory of polynomial functors.

This talk is for a general audience, being , in part, a practice for TYPES. In particular, you are not expected to be very familiar with Weihrauch reducibility or containers, although basic category theory will help a lot. It will not last the full hour. Feedback is requested over the presentation, in particular points of pain or things that should be emphasised.