Foundations for computable topology
Foundations should be designed for the needs of mathematics and not vice versa. We propose a technique for doing this using the correspondence between category theory and logic and is potentially applicable to several mathematical disciplines.
Taylor, P. (2011)., Foundations for computable topology, in G. Sommaruga (ed.), Foundational theories of classical and constructive mathematics, Dordrecht, Springer, pp. 265-310.
This document is unfortunately not available for download at the moment.