Archives pour la catégorie Homotopical categories

Algebraic models of #HoTT

http://mysite.science.uottawa.ca/phofstra/CT2016/slides/Gambino.pdf

Publicités