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: Click to access ct2018.pdf A étudier parallèlement à cet autre : Click to access HoTTEST.pdf Que sont les modèles de la théorie des (∞,1)-catégories ? … Continue reading

Posted in ∞-catégories, ∞-cosmoi, DIEU, Homotopy, homotopy type theory, Science-internelle | Comments Off on #HigherCategoryTheory Indépendance de la théorie des (∞,1)-catégories vis à vis des modèles