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

Autrement qu'être Mathesis uni∜ersalis Problema Universale Heidegger/Husserl être/conscience : plan vital-ontologique vs plan spirituel d'immanence CLAVIS UNIVERSALIS HENOSOPHIA PANSOPHIA ενοσοφια μαθεσις

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 une axiomatisation de l’idée de quasicatégories , comme il est expliqué page 13 de ce dernier article , ces modèles sont aussi explicités sur le diagramme page 11 avec les flèches entre eux :il est notamment précisé que QCat, l’∞-cosmos des quasicatégories, est la base pour la théorie synthétique de Riehl – Verity des ∞-catégories, et Rezk , l’∞-cosmos des espaces complets de Segal, est la base pour la théorie synthétique de Shulman
Selon le théorème Page 14, QCat, Rezk, Segal (les catégories de Segal) et 1-Comp (les 1-complicial sets de Verity ) sont des ∞-cosmoi.

Ce diagramme est repris page 4 dans l’article de la conférence CT2018:

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

Deux…

View original post 839 more words

Advertisements

Leave a Reply

Please log in using one of these methods to post your comment:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Google+ photo

You are commenting using your Google+ account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s