Category Archives: category theory

Andrei Rodin : Logic and geometry in topos theory and #HoTT 1

Ce travail d’Andrei Rodin: http://philomatica.org/wp-content/uploads/2013/01/am2.pdf fait suite, ou accompagne, cet autre que nous avons étudié ici: http://ffp14.cpt.univ-mrs.fr/DOCUMENTS/SLIDES/RODIN_Andrei.pdf Le domaine de prédilection de ce philosophe est la méthode axiomatique: https://arxiv.org/abs/1210.1478 Page 3: La “received axiomatic method” (RAM) qui d’origine des recherches … Continue reading

Posted in ∞-catégories, ∞-topoi, category theory, Higher category theory, Homotopy, homotopy type theory, Philosophie, Philosophie mathématique, Science, mathesis, Science-internelle | Tagged , , , , | Leave a comment

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

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