Tag Archives: Szumilo

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: Click to access 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 … Continue reading

Posted in homotopy type theory | Tagged , ,