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

Posted in homotopy type theory | Tagged , ,