Category Archives: ∞-catégories

De Hilbert à Lawvere, Schreiber et HoTT 2 : 1-topos et ∞-topos

Suite du dernier article, commentaires du travail d’Andrei Rodin : http://ffp14.cpt.univ-mrs.fr/DOCUMENTS/SLIDES/RODIN_Andrei.pdf Affirmation page 15 sur 75 : La conception qu’ont Hilbert et Lawvere De l’axiomatisation est significativement différente de ce qu’Andrei Rodin appelle “point de vue épistémologique”, et réaliser cette … Continue reading

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi, homotopy type theory, Ouvert : dualité plan vital-plan spirituel, Science-internelle | 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 , , , , , , | Leave a comment

(∞,1)-topos cohésifs

L’article d’origine est toujours celui du blog “Homotopy type theory”: Axiomatic cohesion in HoTT et la Page Nlab : https://ncatlab.org/nlab/show/cohesive+(infinity,1)-topos#AsAPointLikeSpace william Lawvere a surtout insisté sur le théorie des topos, c’est à dire des 1-topos, ses travaux subissent une évoluton pour … Continue reading

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi, homotopy type theory, Philosophie, Philosophie mathématique, Plan vital-plan spirituel, Science-internelle | Tagged , , | Leave a comment

Pierre Guenancia: la voie des idées (de Descartes à Hume)

Dans ce petit livre clair publié aux PUF dans la collection “une histoire personnelle de la philosophie” , Pierre Guénancia, qui est professeur, ayant une très bonne connaissance de cette période de la philosophie européenne, résume l’époque en huit auteurs … Continue reading

Posted in ∞-catégories, ∞-topoi, Ouvert : dualité plan vital-plan spirituel, Philosophie, Science, mathesis, Science-internelle | 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 , , , , , , , ,

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

De #HigherToposTheory à #HomotopyTypeTheory

J’ai commencé à étudier sur ce blog, dans le Hashtag #HigherToposTheory l’extraordinaire livre de Jacob Lurie ” Higher Topos theory” que l’on peut lire gratuitement sur plusieurs sites, comme Arxiv, ou bien ici: http://www.math.harvard.edu/~lurie/papers/highertopoi.pdf Le dernier article publié dans le … Continue reading

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi, Bertrand Russell, category theory, Higher category theory, Higher topos theory, homotopy type theory, Philosophie, Philosophie mathématique, Science, mathesis, Science-internelle, Théorie des topoi (topos theory), Wronski-Messianisme-séhélianisme-Science-internelle | Tagged , , , , , , , , , , , , , ,