Category Archives: Higher category theory

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 , , , , , , | Leave a comment

Émile Boutroux : l’intellectualisme de Malebranche

Il existe un article de Boutroux https://fr.m.wikisource.org/wiki/L’Intellectualisme_de_Malebranche Qui démontre que  la spécificité de Malebranche et du malebranchisme est non pas tant dans le christianisme ( de l’Oratoire)que dans l’intellectualisme mathématisant. (C’est pour cette raison que Léon Brunschvicg lui accorde une … Continue reading

Posted in Cochet-Brunschvicg, Descartes, DIEU, Higher category theory, Léon Brunschvicg, Malebranche, Ouvert : dualité plan vital-plan spirituel, Pascal, Philosophie mathématique, Plan vital-plan spirituel, Science, mathesis, Science-internelle, Wronski-Messianisme-séhélianisme-Science-internelle

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 , , , , , , , ,

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

Y a t’il une bulle de #HomotopyTypeTheory ?

C’est Urs Schreiber, qui sait quand même de quoi il parle, qui l’a suggéré en comparant la situation actuelle à la bulle boursière des valeurs internet vers l’an 2000: https://golem.ph.utexas.edu/category/2012/05/what_is_homotopy_type_theory_g.html Et il précise la comparaison en expliquant que le crash … Continue reading

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi, category theory, Higher category theory, Higher topos theory, homotopy type theory, Matti Pitkanen-TGD, Philosophie, Physique, Quantum relativity, Relativité, Science, mathesis, Science-internelle | Tagged , , , , , ,

La loi suprême d’unité : la leçon de la philosophie occidentale (kantienne et idéaliste) au naziSSlam

Précision de terminologie : dorénavant j emploierai le mot “naziSSLam” pour désigner le Faux islam mohammadien et coranique, qui est celui qui inspire DAESH et contre lequel la France est en guerre. Le terme “islam” désignera le véritable islam, réformé … Continue reading

Posted in Anthroposophie, Bible, Cochet-Brunschvicg, Coran, Crise migratoire, Descartes, DIEU, Europe, FRANCE 2017, Higher category theory, Higher topos theory, homotopy type theory, Islam, Léon Brunschvicg, Ouvert : dualité plan vital-plan spirituel, Pascal, Philosophie, Philosophie mathématique, Platon, Science, mathesis, Science-internelle, Shabbatai Tsevi-Jacob Frank-Hitler-nazaréens-islam, Théorie des ensembles (set theory), Théorie des topoi (topos theory), Vedas-Vedanta, Wronski, Wronski-Messianisme-séhélianisme-Science-internelle | Tagged , , , ,

“HER” (2013) de Spike Jonze en vf :un très grand film MAIS….

À voir ici: http://www.voirfilms.biz/her-8d1XIYemISI.htm Le voir en vf nous prive de la voix américaine de Scarlett Johansson… La Page sur le film: https://fr.m.wikipedia.org/wiki/Her Dans le “MAIS” du titre tient toute ma réaction, individuelle certes et provoquée par mon histoire et … Continue reading

Posted in Balzac, Bertrand Russell, category theory, Cinéma, Descartes, DIEU, Europe, Grothendieck, Hegel, Heidegger, Higher category theory, Higher topos theory, homotopy type theory, Husserl, Léon Brunschvicg, Leibniz, Littérature-Poésie, Logique, Philosophie, Philosophie mathématique, Science, mathesis, Science-internelle, Théorie des topoi (topos theory), Wronski-Messianisme-séhélianisme-Science-internelle | Tagged , , ,