Book | Chapter
Foundations for computable topology
pp. 265-310
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.
Publication details
Published in:
Sommaruga Giovanni (2011) Foundational theories of classical and constructive mathematics. Dordrecht, Springer.
Pages: 265-310
DOI: 10.1007/978-94-007-0431-2_14
Full citation:
Taylor Paul (2011) „Foundations for computable topology“, In: G. Sommaruga (ed.), Foundational theories of classical and constructive mathematics, Dordrecht, Springer, 265–310.