Daily Archives: March 11, 2018

Barwick, Schommer-Pries : la catégorie Qcat des quasicatégories comme modèle pour la théorie de l’homotopie des catégories supérieures

Continuons l’étude du travail prodigieux de Barwick et Schommer-Pries sur l’unicité de la théorie homotopique des catégories supérieure qui a été commencée ici : https://anthroposophiephilosophieetscience.wordpress.com/2018/02/25/barwick-schommer-pries-unicity-of-homotopy-theory-of-higher-categories/ rappelons que la théorie (de la (∞,1)-catégorie) des (∞,1)-catégories est la même chose que la … Continue reading

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