Category Archives: Ensembles simpliciaux

#∞-cosmoi #quasicategories #HoTT Emily Riehl : synthetic theory of ∞-categories vs synthetic theory of ∞-categories

https://video.ias.edu/VoevodskyMemConf-2018/0912-EmilyRiehl il y a le texte correspondant à la vidéo au bas de la page :   la différence entre les deux approches des ∞-catégories, analytique et synthétique, est expliquée pages 15-16 : Se limiter à un « modèle « … Continue reading

Posted in ∞-catégories, ∞-cosmoi, Ensembles simpliciaux, Quasicatégories, Science-internelle

#HigherToposTheory un guide pour la navigation dans le livre de Jacob Lurie

Il vaut peut être la peine, avant de se lancer seul dans la forêt profonde de « Higher Topos theory » de Lurie, de survoler l’ensemble afin d’avoir une idée précise de l’architecture de ce vaste monument : l’article 12 … Continue reading

Posted in ∞-catégories, ∞-topoi, category theory, EHTT, Ensembles simpliciaux, Grothendieck, Higher category theory, Higher topos theory, Homotopy, homotopy type theory, HTTUF, Nlab, Quasicatégories, Science, mathesis, Science-internelle, Théorie des topoi (topos theory)

#GrothendieckTopos exposé de Laurent Lafforgue sur le rôle important des topos de Grothendieck

Le texte de l’exposé est ici : Click to access OCLLNotesCourtes.pdf Le site Google sur l’exposé : https://sites.google.com/site/logiquecategorique/autres-seminaires/nantes/20160401-Lafforgue-Topos Les vues endossées sur ce blog, à propos de Grothendieck et de la théorie des topoi, ont été développées ici : https://anthroposophiephilosophieetscience.wordpress.com/2019/08/10/laurent-lafforgue-les-topoi-de-grothendieck-et-le-role-quils-peuvent-jouer-en-mathematiques/Continue reading

Posted in category theory, Cochet-Brunschvicg, Ensembles simpliciaux, Grothendieck, homotopy type theory, Philosophie mathématique, Science, mathesis, Science-internelle, Théorie des ensembles (set theory), Théorie des topoi (topos theory), Wronski-Messianisme-séhélianisme-Science-internelle | Tagged , , , , , ,

La correspondance entre #CT et #HoTT selon André Joyal

j’ai expliqué ici pourquoi il était nécessaire de réaliser un «  second service » de la partie des articles les plus importants du hashtag #HoTT : https://scienceinternelle.wordpress.com/2019/02/05/theorie-des-ensembles-set-theory-st-theorie-des-categories-category-theory-ct-theorie-des-types-type-theory-tt-et-theorie-homotopique-des-types-homotopy-type-theory-hott/ Les articles portant sur es travaux d’ André Joyal sont incontestablement les plus … Continue reading

Posted in Alain Badiou, category theory, Cochet-Brunschvicg, Ensembles simpliciaux, Higher category theory, Higher topos theory, homotopy type theory, Léon Brunschvicg, Philosophie, Philosophie mathématique, Platon, Science, mathesis, Science-internelle

Nicola Gambino : cours II homotopical algebra

Venant à la suite du cours I : https://hottandphilosophy.wordpress.com/2018/09/02/cours-i-de-nicola-gambino-sur-hott-type-theory/ le cours « homotopical algebra «  est ici : Click to access HoTT-Lecture2.pdf La première partie est consacrée aux « catégories modèles «  ( model category) cadre mathématique pour l’homotopie : https://en.m.wikipedia.org/wiki/Model_category On … Continue reading

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

Homotopical trinitarianism : a perspective on #HoTT

Click to access trinity.pdf Le rapprochement , pages 4 et 5, du trinitarisme chrétien et des différentes trinités païennes n’est à mon avis pas (uniquement ) de la provocation. Pages 7 et 8 est cité Bob Harper : https://existentialtype.wordpress.com/2011/03/27/the-holy-trinity/ http://www.cs.cmu.edu/~rwh/Continue reading

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

#HigherToposTheory topological categories and simplicial categories

Revenons sur l’étude du livre de Jacob Lurie , qui est ici : Click to access highertopoi.pdf à la lumière de ce que nous avons appris des travaux de Julia Bergner, Emily Riehl, Dominic Verity. Les derniers articles du hashtag … Continue reading

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi, DIEU, Ensembles simpliciaux, Higher category theory, Higher topos theory, Homotopy, homotopy type theory, Ouvert : dualité plan vital-plan spirituel, Quasicatégories, Science, mathesis, Science-internelle

Julia Bergner : homotopy theory of (∞,1)-categories

https://anthroposophiephilosophieetscience.wordpress.com/2018/02/09/julia-bergner-homotopy-theory-of-∞1-categories/ J’ai acheté ce livre. Des extraits sont sur Google: https://books.google.fr/books?id=sjRNDwAAQBAJ&pg=PA3&lpg=PA3&dq=julia+bergner+homotopy+theory+of+(∞,1)-categories++SC+CSS+RelCat+Qcat&source=bl&ots=KTU7XI-5Gf&sig=5n0kx2bvuXOdxFp1vPpAbet0-lY&hl=fr&sa=X&ved=2ahUKEwjG883UrsnaAhVDchQKHVQjDb4Q6AEwAHoECAkQAQ#v=onepage&q=julia%20bergner%20homotopy%20theory%20of%20(∞%2C1)-categories%20%20SC%20CSS%20RelCat%20Qcat&f=false Le diagramme qui apparaît page 3 à la fin de l’introduction est en gros le même que celui ci, dans l’article de Barwick et Schommer-Pries: https://anthroposophiephilosophieetscience.wordpress.com/2018/02/25/barwick-schommer-pries-unicity-of-homotopy-theory-of-higher-categories/ et Julia Bergner … Continue reading

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi, category theory, Ensembles simpliciaux, Grothendieck, Higher category theory, Homotopy, homotopy type theory, Philosophie mathématique, Quasicatégories, Science, mathesis, Science-internelle

#RiehlVerity #ScienceInternelle #∞-categories Quasicategories

Click to access ICWM.pdf Section 1.1 La catégorie Δ, appelée catégorie simplexe, est définie : ses objets sont les ordinaux finis et non nuls, ses morphismes sont les fonctions préservant l’ordre. Parmi ces flèches, les « elementary face operators » et les … Continue reading

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi, Ensembles simpliciaux, Homotopy, homotopy type theory, Philosophie mathématique, Quasicatégories, Science-internelle

#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 Click to access menagerie10.pdf A … 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