arXiv Open Access 2023

The surjection property and computable type

Djamel Eddine Amir Mathieu Hoyrup

Lihat Sumber

Abstrak

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. We also observe that computable type is decidable for finite simplicial complexes.

Topik & Kata Kunci

math.GN math.AT math.LO

Penulis (2)

Djamel Eddine Amir

Mathieu Hoyrup

Format Sitasi

APA MLA BibTeX

Amir, D.E., Hoyrup, M. (2023). The surjection property and computable type. https://arxiv.org/abs/2306.14542

Akses Cepat

Lihat di Sumber

Informasi Jurnal

Tahun Terbit: 2023
Bahasa: en
Sumber Database: arXiv
Akses: Open Access ✓