Daily Archives: July 21, 2018

#HigherCategoryTheory Indépendance de la théorie des (∞,1)-catégories vis à vis des modèles

Un nouvel article en format « slides «  de Riehl et Verity, à la conférence CT2018: http://www.math.jhu.edu/~eriehl/ct2018.pdf A étudier parallèlement à cet autre : http://www.math.jhu.edu/~eriehl/HoTTEST.pdf Que sont les modèles de la théorie des (∞,1)-catégories ? Ce sont les ∞-cosmoi, qui sont … Continue reading

Posted in ∞-catégories, ∞-cosmoi, DIEU, Homotopy, homotopy type theory, Science-internelle