Daily Archives: January 11, 2018

#ScienceInternelle l’∞-topos S « Spaces » joue dans le domaine des ∞-catégories le rôle du 1-topos Set dans le domaine des catégories

J’avais déjà écrit ceci en m’inspirant d’un passage de « Higher topos theory » de Jacob Lurie: https://anthroposophiephilosophieetscience.wordpress.com/2017/03/01/highertopostheory-11-lanalogue-du-1-topos-set-pour-la-theorie-des-∞-categories-l-∞-categorie-spaces/ Mais il existe un texte beaucoup plus condensé de Jacob Lurie sur la théorie des ∞-topoi, intitulé « On ∞-topoi »: https://arxiv.org/pdf/math/0306109.pdf Lurie y aborde aussi … Continue reading

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