Upcoming events

May
01

Ian Price: Weihrauch Problems as Containers

On 1st May 2025 at 2:00 pm

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.