The surjection property and computable type - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Preprints, Working Papers, ... Year : 2023

The surjection property and computable type


We provide a detailed study of two properties of spaces and pairs of spaces, the surjection property and the-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.
Fichier principal
Vignette du fichier
article.pdf (487.64 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-04140772 , version 1 (26-06-2023)





Djamel Eddine Amir, Mathieu Hoyrup. The surjection property and computable type. 2023. ⟨hal-04140772⟩
24 View
23 Download



Gmail Facebook X LinkedIn More