Daily Archives: August 5, 2017

#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 … Continue reading

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi, homotopy type theory, Philosophie, Philosophie mathématique, Physique | Tagged , , ,