Thursday, 1 May 2025

Weihrauch problems as containers

Today Ian Price will give a talk on "Weihrauch problems as containers" as a part of our seminar series. 

Abstract:

Weihrauch problems 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 pomposition of degrees, arise naturally from the theory of polynomial functors.

No comments:

Post a Comment

Davide Trotta's talk

This Thursday  Davide Trotta  from the University of Padova will give a talk on "A topos for extended Weihrauch degrees" as a part...