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

https://home.sandiego.edu/~shulman/papers/trinity.pdf

http://www.math.jhu.edu/~eriehl/scratch.pdf

http://www.math.jhu.edu/~eriehl/elements.pdf

http://www.math.jhu.edu/~eriehl/ct2018.pdf

http://www.math.jhu.edu/~eriehl/HoTTEST.pdf

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

http://www.math.jhu.edu/~eriehl/ct2018.pdf

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

Advertisements
This entry was posted in Philosophie. Bookmark the permalink.