Repository | Book | Chapter
(2011) Foundational theories of classical and constructive mathematics, Dordrecht, Springer.
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.