PhilSci Archive

The vertical unity of concepts in mathematics through the lens of homotopy type theory

Corfield, David Neil (2016) The vertical unity of concepts in mathematics through the lens of homotopy type theory. [Preprint]

[img] PDF
vertical.pdf - Accepted Version
Available under License Creative Commons Attribution No Derivatives.

Download (270kB)


The mathematician Alexander Borovik speaks of the importance of the 'vertical unity' of mathematics. By this he means to draw our attention to the fact that many sophisticated mathematical concepts, even those introduced at the cutting-edge of research, have their roots in our most basic conceptualisations of the world. If this is so, we might expect any truly fundamental mathematical language to detect such structural commonalities.

It is reasonable to suppose then that the lack of philosophical interest in such vertical unity is related to the prominence given by philosophers to languages which do not express well such relations. In this chapter, I suggest that we look beyond set theory to the newly emerging homotopy type theory, which makes plain what there is in common between very simple aspects of logic, arithmetic and geometry and much more sophisticated concepts.

Export/Citation: EndNote | BibTeX | Dublin Core | ASCII/Text Citation (Chicago) | HTML Citation | OpenURL
Social Networking:
Share |

Item Type: Preprint
Corfield, David
Keywords: concept; homotopy type theory; vertical unity; arithmetic; space; duality
Subjects: Specific Sciences > Mathematics
Depositing User: Dr. David Corfield
Date Deposited: 21 May 2016 13:01
Last Modified: 21 May 2016 13:01
Item ID: 12100
Subjects: Specific Sciences > Mathematics
Date: 2016

Monthly Views for the past 3 years

Monthly Downloads for the past 3 years

Plum Analytics

Actions (login required)

View Item View Item