Foundations for computable topology

Paul Taylor

pp. 265-310

in: Giovanni Sommaruga (ed), Foundational theories of classical and constructive mathematics, Berlin, Springer, 2011

Abstract

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.