Category Archives: EHTT

#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) | Leave a comment

#HoTT #HTTUF #EHTT #HigherToposTheory ∞- topos

Reprenons donc ces différents hashtag comme je l’ai proposé dans l’article d’hier : https://anthroposophiephilosophieetscience.wordpress.com/2019/10/01/hott-httuf-ehtt-reprendre-letude-de-highertopostheory/ en commençant par cette page du wiki Nlab consacrée à HoTT et à ses « modèles «  dans les topoi multidimensionnels (« higher toposes »): https://ncatlab.org/homotopytypetheory/show/model+of+type+theory+in+an+(infinity,1)-toposContinue reading

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

#HoTT #HTTUF #EHTT reprendre l’étude de #HigherToposTheory

L’année dernière j’avais réalisé un fort « investissement » sur le livre « Higher topos theory » de Jacob Lurie  , qui est lisible ici : http://www.math.harvard.edu/~lurie/papers/highertopoi.pdf ainsi d’ailleurs que sur la nouvelle discipline « Homotopy type theory «  , … Continue reading

Posted in ∞-topoi, EHTT, Higher category theory, Higher topos theory, homotopy type theory, HTTUF, opposition monde véritable-monde imaginaire, Science, mathesis, Science-internelle

#HoTT #HTTUF Homotopy type theory =#HigherToposTheory ?

 https://homotopytypetheory.org »Homotopy Type Theory refers to a new field of study relating Martin-Löf’s system of intensional, constructive type theory with abstract homotopy theory. … As the natural logic of homotopy, constructive type theory is also related to higher category theoryas … Continue reading

Posted in EHTT, Higher category theory, Higher topos theory, homotopy type theory, HTTUF, Science, mathesis, Science-internelle

De la logique de Hegel à #HoTT + modalités

Cette page rend bien compte du « mouvement de l’esprit » qui en deux siècles a porté la philosophie spéculative à travers la philosophie analytique (anglo-saxonne ) jusqu’au positivisme du Cercle de Vienne, puis au renouveau de la métaphysique : … Continue reading

Posted in category theory, Cochet-Brunschvicg, EHTT, Higher category theory, Higher topos theory, homotopy type theory, Ouvert : dualité plan vital-plan spirituel, Philosophie, Philosophie mathématique, Science, mathesis, Science-internelle, Théorie des ensembles (set theory), Théorie des topoi (topos theory)

Hegel : unité des contraires et son modèle mathématique sur Nlab

« Pour aller là où tu ne sais pas, il te faut passer par où tu ne sais pas » Le thème de la « coincidentia oppositorum « , présent chez Nicolas de Cuse déj, n’a pas bonne presse en … Continue reading

Posted in Alain Badiou, Bertrand Russell, category theory, Cochet-Brunschvicg, EHTT, Hegel, Heidegger, homotopy type theory, Léon Brunschvicg, number theory, Occident faustien, Ouvert : dualité plan vital-plan spirituel, Philosophie, Philosophie mathématique, Platon, Science, mathesis, Science-internelle, Théorie des topoi (topos theory)

Michael Shulman : towards elementary infinity -toposes

https://video.ias.edu/VoevodskyMemConf-2018/0913-MichaelShulman

Posted in ∞-topoi, category theory, EHTT, Higher category theory, Higher topos theory, Science, mathesis, Science-internelle, Théorie des topoi (topos theory)