Foundations for Computable Topology

DOI10.1007/978-94-007-0431-2_14zbMath1317.03041OpenAlexW148336677MaRDI QIDQ5260995

No author found.

Publication date: 1 July 2015

Published in: The Western Ontario Series in Philosophy of Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-94-007-0431-2_14

zbMATH Keywords

Stone dualitycomputational topologymonadic adjunction

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25) Other constructive mathematics (03F65)

Related Items (4)

On fixed-point theorems in synthetic computability ⋮ Computable Stone spaces ⋮ Sobriety for equilogical spaces ⋮ Computability of Subsets of Metric Spaces

This page was built for publication: Foundations for Computable Topology