Category Archives: Philosophie mathématique

Projet de recherche sur : physique théorique et théorie des catégories

C’est une proposition de l’ IHPST https://fr.m.wikipedia.org/wiki/Institut_d%27histoire_et_de_philosophie_des_sciences_et_des_techniques que l’on peut lire ici : http://www.ihpst.cnrs.fr/sites/default/files/projet_foundphys.pdf   Ce document note en entrée que les avancées en physique dans le passé sont toujours dûes , ou concomitantes, à des progrès en mathématiques ( … Continue reading

Posted in Categorical quantum mechanics, category theory, Philosophie, Philosophie mathématique, Physique, Quantum relativity, Relativité, Science, mathesis, Science-internelle, Théorie des ensembles (set theory), Théorie des topoi (topos theory), topos physics

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)

La théorie des catégories en germe chez Brunschvicg

« Le Progrès de la conscience dans la philosophie occidentale » remonte il me semble au milieu des années 1920, soit 20 ans à peu près avant 1942-1945, période de la création de la théorie des catégories dans les travaux … Continue reading

Posted in ∞-catégories, category theory, Cochet-Brunschvicg, Higher category theory, homotopy type theory, Léon Brunschvicg, opposition monde véritable-monde imaginaire, Philosophie, Philosophie mathématique, Science, mathesis, Science-internelle

#GrothendieckTopos Laurent Lafforgue et Olivia Caramello : sur la dualité des topos et de leurs présentations

C’est l’article correspondant à l’exposé oral de Laurent Lafforgue : https://sites.google.com/site/logiquecategorique/autres-seminaires/nantes/20160401-Lafforgue-Topos dont je ne peux trouver que la première heure en vidéo L’article détaillé est ici, 61 pages, rédigé par Laurent Lafforgue à partir d’expositions orales et de notes d’Olivia … Continue reading

Posted in DIEU, Grothendieck, homotopy type theory, Littérature-Poésie, Logique, Ouvert : dualité plan vital-plan spirituel, Philosophie, Philosophie mathématique, Plan vital-plan spirituel, Science-internelle, Théorie des ensembles (set theory), Théorie des topoi (topos theory)

#GrothendieckTopos suite de l’exposé de Laurent Lafforgue sur les topos de Grothendieck

La vidéo qui est ici : https://sites.google.com/site/logiquecategorique/autres-seminaires/nantes/20160401-Lafforgue-Topos s’arrête à 1h04 et n’inclut malheureusement pas  les parties II et III qui sont les plus importantes. La vidéo complète est paraît il ici : https://www.math.sciences.univ-nantes.fr/fr/video/2000 où je ne la trouve pas. Dans … Continue reading

Posted in category theory, Grothendieck, Philosophie mathématique, Science, mathesis, Science-internelle, Théorie des ensembles (set theory), Théorie des topoi (topos theory)