Category Archives: Higher topos theory

#HigherToposTheory reading guide to HTT

https://ncatlab.org/spahn/show/a%20reading%20guide%20to%20HTT Je crois que j’avais signalé cette page de discussions à propos du livre de Lurie: https://nforum.ncatlab.org/discussion/2748/a-learning-roadmap-for-higher-topos-theory/ C’est sur cette page que j’ai pris Connaissance du vaste travail encyclopédique de Tim Porter « Crossed menagerie » https://ncatlab.org/nlab/show/Crossed%20Menagerie https://ncatlab.org/timporter/files/menagerie10.pdf A noter aussi le … Continue reading

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi, category theory, Ensembles simpliciaux, Higher category theory, Higher topos theory, homotopy type theory, Philosophie mathématique, Quasicatégories, Science, mathesis, Science-internelle | Leave a comment

Towards a synthetic theory of ∞-categories I

https://scholar.harvard.edu/files/rastern/files/midtermpaper.pdf Articles proches : http://www.math.jhu.edu/~eriehl/ct2017slides.pdf http://www.math.jhu.edu/~eriehl/synthetic.pdf Cet article de Reuben Stern : https://scholar.harvard.edu/rastern/writings-0 d’introduction aux ∞-cosmoi , passe en revue le développement de la théorie des catégories : catégories monoidales (munies d’un produit tensoriel), catégories enrichies, « model categories » et consacre … Continue reading

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi, category theory, Higher category theory, Higher topos theory, Science-internelle

#∞-cosmoi Riehl, Verity : Fibrations and Yoneda’s lemma in an ∞-cosmos

Cet article de Riehl et Verity : https://arxiv.org/pdf/1506.05500.pdf est l’une des sources citées par les deux chercheurs dans l’article que nous avons commencé à étudier hier : « Infinity-category theory from scratch » https://anthroposophiephilosophieetscience.wordpress.com/2018/03/25/riehl-verity-infinity-category-from-scratch/ et Riehl et Verity signalent page 11: https://arxiv.org/pdf/1608.05314.pdfContinue reading

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

∞-categories seminar

http://www.mi.fu-berlin.de/users/shanekelly/InfinityCategories2017SS.html#x1-9000III

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

Les quasicatégories comme modèle de la théorie des (∞,1)-catégories

Les (∞,1)-catégories et l’(∞,1)-catégorie de toutes les (∞,1)-catégories sont considérées ici comme la forme mathématique du plan des Idées: https://anthroposophiephilosophieetscience.wordpress.com/2017/04/16/scienceinternelle-19-recherches-sur-lidee-de-dieu-qui-est-dieu-∞-categorie-des-∞-categories/ Peut on dire qu’une (∞,1)-catégorie est dans ce blog vue comme un « modèle «  de la notion philosophique d’Idée ? … Continue reading

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi, category theory, Higher category theory, Higher topos theory, Homotopy, homotopy type theory, Ouvert : dualité plan vital-plan spirituel, Philosophie mathématique, Plan vital-plan spirituel, Science, mathesis, Science-internelle

Le papier important de Karol Szumilo : two models for the homotopy theory of cocomplete homotopy theories

Cet article important est ici : https://arxiv.org/pdf/1411.0303.pdf https://hottandphilosophy.wordpress.com/2018/02/02/szumilo-two-models-for-the-homotopy-theory-of-co-complete-homotopy-theories/ A rapprocher de cet article de Rezk qui parle d’un modèle (A model) https://anthroposophiephilosophieetscience.wordpress.com/2018/03/09/rezk-a-model-for-the-homotopy-theory-of-homotopy-theory/ Et de cet autre de Julia Bergner , étudié ici, qui distingue trois modèles : http://www.people.virginia.edu/~jeb2md/DefenseTalk.pdf https://anthroposophiephilosophieetscience.wordpress.com/2018/02/04/julia-bergner-model-structures-for-∞1-categories/ Une … Continue reading

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

Alexandre Grothendieck , magicien des foncteurs

http://www.cnrs.fr/insmi/IMG/pdf/Alexandre-Grothendieck.pdf Le « yoga des foncteurs » c’est la force-de-pensée unificatrice (yoga = union en sanskrit ) de Grothendieck : Henosophia TOPOSOPHIA μαθεσις uni√ersalis τοποσοφια MATHESIS οντοποσοφια ενοσοφια , champ d’études philosophico-mathématiques poursuivi de nos jours par Olivia Caramello https://anthroposophiephilosophieetscience.wordpress.com/2018/03/12/la-vision-de-lunite-des-mathematiques-de-grothendieck-au-dela-de-celle-de-lautman/ https://anthroposophiephilosophieetscience.wordpress.com/2018/03/12/olivia-caramello-introduction-a-son-livre-theories-sites-toposes/ http://la-non-philosophie.blogspot.fr/2013/07/les-trois-theoremes-de-la-force-de.html

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi, category theory, Cochet-Brunschvicg, DIEU, Grothendieck, Higher category theory, Higher topos theory, Homotopy, homotopy type theory, Laruelle, non-philosophie, Ouvert : dualité plan vital-plan spirituel, Philosophie, Philosophie mathématique, Plan vital-plan spirituel, Science, mathesis, Science-internelle, Théorie des ensembles (set theory), Théorie des topoi (topos theory)