L’article très important de Kapulkin et Szumilo dont parle André Joyal

C’est dans une de ses notes sur les tribus (« categorical homotopy type theory ») que Joyal parle de ce résultat:

http://logica.dmi.unisa.it/tacl/wp-content/uploads/abstracts/invited_paper_7.pdf

qui est démontré ici:

https://arxiv.org/abs/1709.09519

Équivalence de la théorie de l’homotopie des tribus de Joyal et de celle des « fibration categories »

https://ncatlab.org/nlab/show/fibration+category

https://arxiv.org/abs/1602.08206

https://golem.ph.utexas.edu/category/2015/07/internal_languages_of_higher_c.html

https://golem.ph.utexas.edu/category/2017/11/internal_languages_of_higher_c_1.html

Advertisements
This entry was posted in homotopy type theory and tagged , , . Bookmark the permalink.