Google Plus : David Roberts sur les travaux d’André Joyal #HoTT

On y trouve les « Notes on clans and tribes » sur Arxiv

https://anthroposophiephilosophieetscience.wordpress.com/2017/10/28/hott-andre-joyal-tribus-et-clans/

ainsi que ce lien sur Nlab:

https://ncatlab.org/nlab/show/categorical+model+of+dependent+types#Joyal17

Toute la collection de David Roberts est intéressante:

https://plus.google.com/collection/0GL2Y

On y trouve notamment pour les UF de Voevodsky:

https://arxiv.org/abs/1711.01477

Advertisements
This entry was posted in category theory, Higher category theory, homotopy type theory, Philosophie mathématique, Science, mathesis, Science-internelle. Bookmark the permalink.