Category Archives: Théorie des topoi (topos theory)

#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

« Dieu seul te jugera »

« Dieu seul te jugera »: c’est  le SMS envoyé par l’épouse de Mickael Harpon au terroriste, après qu’il l’ait informée de son achat d’un couteau de cuisine avant d’aller au boulot et de perpétrer un massacre. Cela c’est la … Continue reading

Posted in category theory, Cochet-Brunschvicg, Coran, DIEU, France-bordel, Higher category theory, Higher topos theory, homotopy type theory, HTTUF, Islam, Léon Brunschvicg, Macrollande-dictature, Merde in France, opposition monde véritable-monde imaginaire, Ouvert : dualité plan vital-plan spirituel, Philosophie, Science, mathesis, Science-internelle, Théorie des topoi (topos theory), topos physics, Wronski, Wronski-Messianisme-séhélianisme-Science-internelle | Leave a comment

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)

W Lawvere : quantifiers and sheaves

https://pdfs.semanticscholar.org/6630/846a00261a071b71e264e0f532e29cd9152f.pdf  

Posted in category theory, Logique, Philosophie, Philosophie mathématique, Science, mathesis, 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)

Hegel : science de la logique dans ncatlab

Ici : https://ncatlab.org/nlab/show/Science+of+Logic#Phen760 « Hence we formalize Wesen by ∞-topos «  un cadre mathématique pour la doctrine hégélienne de l’Essence (Wesen) est choisi dans #HoTT et #HigherToposTheory : »In (homotopy) type theory the appearance of a reflection of the type system in itself is a type universe Type∈H here) see … Continue reading

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi, category theory, Hegel, Higher category theory, Higher topos theory, homotopy type theory, opposition monde véritable-monde imaginaire, Philosophie, Science, mathesis, Science-internelle, Théorie des topoi (topos theory), Type theory