#HoTT and philosophy

Il existe sur le blog “n-category cafe” un court article de David Corfield , philosophe-mathématicien, sur ce thème :

https://golem.ph.utexas.edu/category/2016/09/hott_and_philosophy.html

Les “slides” de sa conférence “The modality of physical law in modal HoTT” sont ici :

https://ncatlab.org/davidcorfield/files/Bristol.pdf

Sur David Corfield :

https://ncatlab.org/davidcorfield/show/HomePage

http://philsci-archive.pitt.edu/11809/1/Reviving..pdf

http://philsci-archive.pitt.edu/11862/1/The_Structure.pdf

Une conférence d’Andrei Rodin, autre philosophe majeur, sur la théorie des topos et HoTT:

http://philomatica.org/wp-content/uploads/2013/01/am2.pdf

D’autre part j’ai trouvé un papier sur la confrontation des théories des ensembles de Lawvere (structuraliste) et Bishop (constructiviste):

https://pdfs.semanticscholar.org/b2d0/b9a12e4feeebe5c6845e1aef535e2fc72d15.pdf

Les études de Félix Welles sur la géométrie différentielle , et donc la philosophie de la physique, sont ici:

https://fpfm.github.io/Slides_Wellen.pdf

Et ceux d’Urs Schreiber , à la conférence de Bristol, sur la “higher Cartan geometry”:

https://ncatlab.org/schreiber/files/SchreiberBristol2016.pdf

La thèse qu’il cite de Félix Wellen :

https://ncatlab.org/schreiber/show/thesis+Wellen

Advertisements
This entry was posted in ∞-catégories, ∞-cosmoi, ∞-topoi, homotopy type theory, Philosophie, Philosophie mathématique, Physique and tagged , , , . Bookmark the permalink.