Weihrauch problems as containers

DOI10.1007/978-3-031-95908-0_28MaRDI QIDQ6897636zbMATH OpenFDO

Authors Cécilia Pradic, Ian M. Price

Publication date 19 November 2025

Full work available at URL https://doi.org/10.1007/978-3-031-95908-0_28

zbMATH Keywords

containerspolynomial functorsWeihrauch reducibility

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites work

• A note on the diamond operator
• Borel-piecewise continuous reducibility for uniformization problems
• Classical and relative realizability
• Computability of Subsets of Metric Spaces
• Dialectica models of type theory
• scientific article; zbMATH DE number 503392 (Why is no real title available?)
• scientific article; zbMATH DE number 1956503 (Why is no real title available?)
• scientific article; zbMATH DE number 7577584 (Why is no real title available?)
• Introduction to extensive and distributive categories
• Minimal covers in the Weihrauch degrees
• On the algebraic structure of Weihrauch degrees
• Polynomial functors and polynomial monads
• Realizability. An introduction to its categorical side
• The Bolzano-Weierstrass theorem is the jump of weak Kőnig's lemma
• THE CHARACTERIZATION OF WEIHRAUCH REDUCIBILITY IN SYSTEMS CONTAINING
• Weihrauch problems as containers

Cited in

(1)

• Weihrauch problems as containers

This page was built for publication: Weihrauch problems as containers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6897636)