Computable étale spaces over a computable space Y are equivalent to computable maps from Y into the effective category ODS of overt-discrete quasi-Polish spaces, with a generalization to computable category actions.
Escard´ o,Synthetic topology of data types and classical spaces, Electronic Notes in Theoretical Computer Science87(2004), 21–156
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
math.LO 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
A note on computable \'{e}tale spaces
Computable étale spaces over a computable space Y are equivalent to computable maps from Y into the effective category ODS of overt-discrete quasi-Polish spaces, with a generalization to computable category actions.