Daily Archives: January 22, 2018

André Joyal #HoTT : simplicial tribes

« Introduction to simplicial homotopy theory »: http://hopf.math.purdue.edu/Joyal-Tierney/JT-chap-01.pdf La définition des tribus simpliciales figure dans cette note : http://logica.dmi.unisa.it/tacl/wp-content/uploads/2014/08/Joyal-TACL2015.pdf « Category theory and HoTT » Page 38 : une tribu simpliciale est une catégorie enrichie sur les ensembles simpliciaux ayant en plus une structure … Continue reading

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