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

Non réciprocité de l’être et de l’un

Dans le numéro 3 du séminaire d’Alin Badiou : “Heidegger : l’être -figure du retrait” on peut lire, Page 186-187′ séance du 7 avril 1987: “Il y a chez Platon un congédiement du couple Un/multiplia comme significatif de la pensée … Continue reading

Posted in Alain Badiou, category theory, Cochet-Brunschvicg, Heidegger, Higher category theory, Higher topos theory, Léon Brunschvicg, Ontologie, Ouvert : dualité plan vital-plan spirituel, Philosophie, Philosophie mathématique, Platon, Science-internelle, Théorie des ensembles (set theory), Théorie des topoi (topos theory) | Tagged , , , | Leave a comment

La théorie des topoi et la physique

https://meditationesdeprimaphilosophia.wordpress.com/2015/07/18/quest-ce-quune-chose-physique-et-theorie-des-topoi-2/ L’article “what is a thing” est sur Arxiv: https://arxiv.org/pdf/0803.0417.pdf Bâtir une théorie physique équivaut à représenter dans un topos un langage formel lié au système physique à étudier. Ce topos est Set, le topos des ensembles, pour la physique … Continue reading

Posted in category theory, Higher topos theory, Physique, Science-internelle, Théorie des topoi (topos theory), topos physics | Tagged , , , , , | Leave a comment

Identités constructives pour la physique 1: Hilbert, Lawvere, Schreiber et HoTT

Ce travail d’Andrei Rodin: http://ffp14.cpt.univ-mrs.fr/DOCUMENTS/SLIDES/RODIN_Andrei.pdf qui date de 2014, aborde des points que nous avons commencé à traiter ici, en particulier les travaux de Lawvere sur l’axiomatisation, et ceux d’Urs Schreiber et Voevodsky en liaison avec HoTT (univalent foundations) Un … Continue reading

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi, category theory, Higher category theory, Higher topos theory, homotopy type theory, Ouvert : dualité plan vital-plan spirituel, Philosophie, Philosophie mathématique, Physique, Science, mathesis, Science-internelle, Théorie des topoi (topos theory), topos physics | Tagged , , , , , ,

Les travaux de William Lawvere sur les topos cohésifs 1

La page correspondante est là: https://ncatlab.org/nlab/show/cohesive+topos Les problèmes du multiple et de l’Un trouvent leur cadre idéal dans ce schéma, voir: http://mathesisuniversalis.over-blog.com/article-les-topoi-cohesifs-104391835.html Des exemples de topoi cohésifs sont donnés par la Page du Nlab, notamment la catégorie RDGRaph des graphes … Continue reading

Posted in category theory, Philosophie, Science, mathesis, Théorie des topoi (topos theory) | Tagged , ,

Axiomatic cohesion in HOTT

J’ai déjà parlé de cet article de blog, qui fait le lien entre les travaux de Lawvere sur “axiomatic cohesion “et l’homotopy type theory, à laquelle est associée de manière solidela théorie des ∞-catégories et ∞-topoi: Axiomatic cohesion in HoTT La … Continue reading

Posted in ∞-catégories, ∞-topoi, category theory, Higher category theory, Higher topos theory, homotopy type theory, Science, mathesis, Théorie des ensembles (set theory), Théorie des topoi (topos theory), Wronski, Wronski-Messianisme-séhélianisme-Science-internelle | Tagged , , , , , , , ,

#BrunschvicgVFconversion : philosophie de la vie et philosophie de l’esprit

Le livre de Léon Brunschvicg “De la vraie et de la fausse conversion” est ici: http://classiques.uqac.ca/classiques/brunschvicg_leon/vraie_et_fausse_conversion/vraie_et_fausse_conversion.html et il est sans doute l’un des plus importants puisqu’Eric Rohmer y fait une allusion explicite dans son film le plus philosophique , où … Continue reading

Posted in African Spir, Alain Badiou, Cochet-Brunschvicg, Descartes, Fichte, Léon Brunschvicg, Malebranche, Ouvert : dualité plan vital-plan spirituel, Pascal, Philosophie, Philosophie mathématique, Platon, Science, mathesis, Science-internelle, Socrate, Théorie des ensembles (set theory), Théorie des topoi (topos theory), Wronski-Messianisme-séhélianisme-Science-internelle | Tagged , , , , , ,

#ScienceInternelle #HomotopyTypeTheory pourquoi cette importance cruciale de l’homotopie ?

Nous avons rencontré déjà à plusieurs reprises , dans nos articles du Hashtag #ScienceInternelle , #HigherToposTheory ou #HomotopyTypeTheory la notion de l’homotopie et je me suis posé la question de l’explication de cette omniprésence, dans le récent article: https://anthroposophiephilosophieetscience.wordpress.com/2017/06/06/y-a-til-une-bulle-de-homotopytypetheory/ en … Continue reading

Posted in category theory, Cochet-Brunschvicg, Grothendieck, Higher category theory, Higher topos theory, homotopy type theory, Islam, 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) | Tagged , , , , , , , , , ,