Category Archives: category theory

Relations entre #HoTT et la théorie des catégories : page du Nlab

Cette page plus générale porte sur les liens entre la théorie des types et la théorie des catégories : https://ncatlab.org/nlab/show/relation+between+type+theory+and+category+theory Il s’agit d’un exemple de dualité entre syntaxe et sémantique : https://ncatlab.org/nlab/show/syntax-semantics+duality la théorie des catégories  pouvant être considérée comme … Continue reading

Posted in category theory, Higher category theory, homotopy type theory, HTTUF, Science, mathesis, Science-internelle, Type theory | Leave a comment

#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)