Weihrauch problems as containers
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866918256299737088 |
|---|---|
| author | Pradic, Cécilia Price, Ian |
| author_facet | Pradic, Cécilia Price, Ian |
| contents | We note that Weihrauch problems can be regarded as containers over the category of projective represented spaces and that Weihrauch reductions correspond exactly to container morphisms. We also show that Bauer's extended Weihrauch degrees and the posetal reflection of containers over partition assemblies are equivalent. Using this characterization, we show how a number of operators over Weihrauch degrees, such as the composition product, also arise naturally from the abstract theory of polynomial functors. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2501_17250 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Weihrauch problems as containers Pradic, Cécilia Price, Ian Logic in Computer Science Logic 03D30, 03D78, 03B70 F.1.1; F.4.1 We note that Weihrauch problems can be regarded as containers over the category of projective represented spaces and that Weihrauch reductions correspond exactly to container morphisms. We also show that Bauer's extended Weihrauch degrees and the posetal reflection of containers over partition assemblies are equivalent. Using this characterization, we show how a number of operators over Weihrauch degrees, such as the composition product, also arise naturally from the abstract theory of polynomial functors. |
| title | Weihrauch problems as containers |
| topic | Logic in Computer Science Logic 03D30, 03D78, 03B70 F.1.1; F.4.1 |
| url | https://arxiv.org/abs/2501.17250 |