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...
| Publicado en: | Synthese Vol. 197; no. 2; pp. 651 - 681 |
|---|---|
| Autor principal: | |
| Formato: | Artículo |
| Publicado: |
Springer Nature
Feb2020
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |