Thanks for the pointer. I have briefly recorded this at *computable set*. Need to find time to look into it.

You might be interested, my colleague from Zagreb, Zvonko ljazović, is, in an effort of several years, founding an analogue theory of computability of metric spaces (it is not a case of classical computability but a new notion which is defined in similar vain). Most of his papers are not on arXiv, but the two on the arXiv cite them I guess. It would be also interesting if some of his ideas can be related to the persistent homology (which is now having emerging topos theoretic interpretation, I have posted recently to $n$Forum some abstract relating to it).

]]>I have started something at *computability*.

Mainly I was after putting some terms in organized context. That has now become

which I have included under “Related concepts” in the relevant entries.

]]>