#HoTT current issues in The philosophy of practice of mathematics and informatic

http://www.cimi.univ-toulouse.fr/cippmi/en/courses

Cliquez sur « slides » et vous avez les textes des conférences indiquées sur la page

Notamment des cours (5) de Joyal sur les tribus, donc sur la version catégorique de HoTT

This entry was posted in Computer science, homotopy type theory, Philosophie mathématique, Science, mathesis. Bookmark the permalink.