Daily Archives: February 25, 2018

Barwick, Schommer-Pries : unicity of homotopy theory of higher categories

Un autre travail très important pour les recherches menées ici: https://arxiv.org/pdf/1112.0040.pdf Un article du blog de Schommer-Pries portant sur le « comparison problem of higher category theory «  a été rebloggué ici : https://anthroposophiephilosophieetscience.wordpress.com/2018/02/09/the-comparison-problem-in-higher-category-theory/ Ce problème est abordé Page 2 et … Continue reading

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

Articles de recherche de Rune Haugseng : higher category theory

https://sites.google.com/site/runehaugseng/research

Posted in ∞-catégories, category theory, Higher category theory, Science, mathesis

Bell : types, sets and categories

http://publish.uwo.ca/~jbell/types.pdf

Posted in category theory, Higher category theory, homotopy type theory, Science-internelle, Théorie des ensembles (set theory)

Charles Rezk : a model for the homotopy theory of homotopy theory

https://pdfs.semanticscholar.org/4544/4caf451da5dc8b9ff8c4bb9cd1629360ad91.pdf?_ga=2.165848826.590905963.1519390813-742940545.1491914182

Posted in ∞-catégories, ∞-cosmoi, category theory, Higher category theory, Homotopy, homotopy type theory, Science, mathesis, Science-internelle

Théorie de l’homotopie et (∞,1)-catégories

https://anthroposophiephilosophieetscience.wordpress.com/2018/02/07/emily-riehl-quasicategories-as-∞1-categories/ https://anthroposophiephilosophieetscience.wordpress.com/2018/02/05/hott-theorie-homotopique-des-types-∞-cosmoi-et-∞-categories-vers-la-scienceinternelle/ Le travail suivant de Karol Szumilo : https://arxiv.org/pdf/1411.0303.pdf « two models for the homotopy theory of co complete homotopy theories », est d’une grande importance pour les travaux de la Science Internelle , parce qu’il insiste sur le lien étroit … Continue reading

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