Repository | Book | Chapter

Foundations for computable topology

Paul Taylor

pp. 265-310

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.

Publication details

DOI: 10.1007/978-94-007-0431-2_14

Full citation:

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.