May
01
Ian Price: Weihrauch Problems as Containers
Theory Lab, Computational Foundry
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.