Travaux de Riehl, Verity et Shulman #HoTT #∞-cosmoi

Henosophia TOPOSOPHIA μαθεσις uni√ersalis τοποσοφια MATHESIS οντοποσοφια ενοσοφια Philosophie, théorie des catégories et théorie homotopique des types

Un ∞-cosmos a pour objet les ∞-catégories, c’est donc un mathème de l’Idée d’univers des Idées, on connaît comme exemplaires de cette notion : qCat, Rezk, Segal, 1-Comp, Cat, (∞,1)Cat et les versions fibrées de ces catégories.les flèches qui les relient sont les foncteurs cosmologiques, cf page 16 sur 19 de

la théorie dite ∞-cosmologie de ces univers d’Idées est à découvrir, elle devrait aboutir à une catégorie ou ∞-catégorie des ∞-cosmoi comme précisé à la fin du travail de Riehl et Verity

View original post

This entry was posted in Philosophie. Bookmark the permalink.