Vladimir Voevodsky on the concept of mathematical structure in his letter exchange with Andrei Rodin
Fuente:
arXiv
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Preprint |
| Publicado: |
2024
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866910590119706624 |
|---|---|
| author | Rodin, Andrei |
| author_facet | Rodin, Andrei |
| contents | In 2016 Vladimir Voevodsky sent the author an email message where he explained his conception of mathematical structure using a historical example borrowed from the \emph{Commentary to the First Book of Euclid's Elements} by Proclus; this message was followed by a short exchange where Vladimir clarified his conception of structure. In this Chapter Voevodsky's historical example is explained in detail, and the relevance of Voevodsky's conception of mathematical structure in Homotopy Type theory is shown. The Chapter also discusses some related historical and philosophical issues risen by Vladimir Voevodsky in the same email exchange. This includes a comparison of Voevodsky's conception of mathematical structure and other conceptions of structure found in the current literature. The concluding part of this Chapter includes relevant fragments of the email exchange between Vladimir Voevodsky and the author. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2409_02935 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Vladimir Voevodsky on the concept of mathematical structure in his letter exchange with Andrei Rodin Rodin, Andrei History and Overview 01A61 (Primary), 03A05 (Secondary) In 2016 Vladimir Voevodsky sent the author an email message where he explained his conception of mathematical structure using a historical example borrowed from the \emph{Commentary to the First Book of Euclid's Elements} by Proclus; this message was followed by a short exchange where Vladimir clarified his conception of structure. In this Chapter Voevodsky's historical example is explained in detail, and the relevance of Voevodsky's conception of mathematical structure in Homotopy Type theory is shown. The Chapter also discusses some related historical and philosophical issues risen by Vladimir Voevodsky in the same email exchange. This includes a comparison of Voevodsky's conception of mathematical structure and other conceptions of structure found in the current literature. The concluding part of this Chapter includes relevant fragments of the email exchange between Vladimir Voevodsky and the author. |
| title | Vladimir Voevodsky on the concept of mathematical structure in his letter exchange with Andrei Rodin |
| topic | History and Overview 01A61 (Primary), 03A05 (Secondary) |
| url | https://arxiv.org/abs/2409.02935 |