A meaning explanation for HoTT.
In the Univalent Foundations of mathematics spatial notions like "point" and "path" are primitive, rather than derived, and all of mathematics is encoded in terms of them. A Homotopy Type Theory is any formal system which realizes this idea. In this paper I will focus on the question of whether a Ho...
| Published in: | Synthese Vol. 197; no. 2; pp. 651 - 681 |
|---|---|
| Main Author: | |
| Format: | Article |
| Published: |
Springer Nature
Feb2020
|
| Subjects: | |
| Online Access: | View this record in EBSCOhost |