The surjection property and computable type

MaRDI QIDQ6441486zbMATH OpenFDO

Authors Mathieu Hoyrup

Publication date 26 June 2023

Mathematics Subject Classification ID

Computation over the reals, computable analysis (03D78) Extension of maps (54C20) Classical topics in algebraic topology (55M99)

Abstract: We provide a detailed study of two properties of spaces and pairs of spaces, the surjection property and the epsilon-surjection property, that were recently introduced to characterize the notion of computable type arising from computability theory. For a class of spaces including the finite simplicial complexes, we develop techniques to prove or disprove these properties using homotopy and homology theories, and give applications of these results. In particular, we answer an open question on the computable type property, showing that it is not preserved by taking products.

This page was built for publication: The surjection property and computable type

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