{"id":"arxiv/2604.27466","url":"https://arxiv.org/abs/2604.27466","tags":["math.LO","math.CT"],"score":0,"title":"A note on computable étale spaces","domain":"math.LO","source":"arxiv","authors":["Matthew de Brecht"],"reviews":0,"subject":"math.LO","summary":"An étale space over a topological space $Y$ is defined as a local homeomorphism from a topological space $X$ into $Y$. They often come up in topos theory because of the equivalence between sheaves and étale spaces over a space. In this note, we define computable étale spaces over a computable topological space $Y$ within the TTE framework of computable topology, and show they are naturally equivalent to computable functions from $Y$ to $\\mathsf{ODS}$, the effective quasi-Polish category of overt-discrete quasi-Polish spaces. More generally, if $\\cal C$ is a computable category (or groupoid),…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-04-30","reactions":{}}