Posts de Mike Shulman sur n-category cafe

https://golem.ph.utexas.edu/category/shulman.html

Incluent les précieux articles d’introduction à homotopy type theory I à Vi:

https://golem.ph.utexas.edu/category/2011/03/homotopy_type_theory_i.html

Etc…

Advertisements
This entry was posted in Philosophie and tagged . Bookmark the permalink.