2 papers
cs.LO2026
Problems with fixpoints of polynomials of polynomials
Cécilia Pradic, Ian Price
Motivated by applications in computable analysis, we study fixpoints of certain endofunctors over categories of containers. More specifically, we focus on fibred endofunctors over…
cs.LO2025
Weihrauch problems as containers
Cécilia Pradic, Ian Price
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 morph…