#HoTT : Heller homotopy theories

https://pdfs.semanticscholar.org/1b1c/8539a6f77b6b942bb4e64515526e39109f90.pdf

Fait partie des documents indiqués par Joyal:

http://www.crm.cat/en/Activities/Documents/joyal-crm-2013.pdf

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