Daily Archives: January 22, 2018

André Joyal #HoTT : simplicial tribes

« Introduction to simplicial homotopy theory »: Click to access JT-chap-01.pdf La définition des tribus simpliciales figure dans cette note : Click to access Joyal-TACL2015.pdf « Category theory and HoTT » Page 38 : une tribu simpliciale est une catégorie enrichie sur les ensembles … Continue reading

Posted in ∞-catégories, category theory, Higher category theory, Higher topos theory, homotopy type theory, Science-internelle