Category Archives: homotopy type theory

#GrothendieckTopos exposé de Laurent Lafforgue sur le rôle important des topos de Grothendieck

Le texte de l’exposé est ici : https://www.laurentlafforgue.org/math/OCLLNotesCourtes.pdf Le site Google sur l’exposé : https://sites.google.com/site/logiquecategorique/autres-seminaires/nantes/20160401-Lafforgue-Topos Les vues endossées sur ce blog, à propos de Grothendieck et de la théorie des topoi, ont été développées ici : https://anthroposophiephilosophieetscience.wordpress.com/2019/08/10/laurent-lafforgue-les-topoi-de-grothendieck-et-le-role-quils-peuvent-jouer-en-mathematiques/ et ici : … Continue reading

Posted in category theory, Cochet-Brunschvicg, Ensembles simpliciaux, Grothendieck, homotopy type theory, Philosophie mathématique, Science, mathesis, Science-internelle, Théorie des ensembles (set theory), Théorie des topoi (topos theory), Wronski-Messianisme-séhélianisme-Science-internelle | Tagged , , , , , , | Leave a comment

The form and fonction of duality in modern mathematics

  https://journals.openedition.org/philosophiascientiae/976?lang=en à commencer par la dualité dans la théorie des catégories. Natural dualities for the working algebraist : https://pdfs.semanticscholar.org/1465/80c6b1b0af60d518cc3a9155516ef4ff9fe2.pdf   https://books.google.fr/books?id=vvfWMVYQS9YC&printsec=frontcover&hl=fr#v=onepage&q&f=false

Posted in Categorical quantum mechanics, category theory, Grothendieck, Higher category theory, Higher topos theory, Homotopy, homotopy type theory, Léon Brunschvicg, opposition monde véritable-monde imaginaire, Philosophie mathématique, Science, mathesis, Théorie des topoi (topos theory), Wronski | Leave a comment

Une note de Laurent Lafforgue sur la discrimination subie par Olivia Caramello dans le « milieu mathématique »

  https://www.laurentlafforgue.org/math/NoriMotivesInformation.pdf Déjà Olivia Caramello s’était plainte d’une véritable campagne de dénigrement menée contre ses travaux: https://anthroposophiephilosophieetscience.wordpress.com/2017/10/16/campagne-de-denigrement-contre-olivia-caramello-de-la-communaute-des-theoriciens-des-topoi-unificationofmathematics/ «Another reason for this hostility is the fact that my ideas are ‘heretical’ with respect to the Lawverian tradition in categorical logic which … Continue reading

Posted in category theory, Cochet-Brunschvicg, Grothendieck, homotopy type theory, Léon Brunschvicg, Logique, Ouvert : dualité plan vital-plan spirituel, Philosophie, Philosophie mathématique, Science, mathesis, Science-internelle, Simone Weil, Spinoza, Wronski, Wronski-Messianisme-séhélianisme-Science-internelle | Tagged , , , | Leave a comment

Arbogast : du calcul des dérivations (1800)

https://books.google.fr/books?id=FNK-Pmjul-IC&pg=PA364&lpg=PA364&dq=derivations+arbogast+kramp&source=bl&ots=0zv_KBhyhG&sig=ACfU3U3nD5t5QT5yLTsncA4pbf1XdYvlpw&hl=fr&sa=X&ved=2ahUKEwitpejJj83jAhUSzYUKHRfdD1gQ6AEwAnoECAYQAQ#v=onepage&q=derivations%20arbogast%20kramp&f=false (On peut télécharger en pdf gratuitement) http://serge.mehl.free.fr/chrono/Arbogast.html https://calcul.math.cnrs.fr/attachments/journee-da-2019/expo_gdr_calcul_2018.pdf Wronski ( dans Prospectus de la philosophie absolue) : »La technie des mathématiques, étant fondée par opposition à la théorie, sur une nouvelle division scientifique, établie par la loi de création, … Continue reading

Posted in African Spir, category theory, Cochet-Brunschvicg, EHTT, Grothendieck, Higher category theory, Higher topos theory, homotopy type theory, Léon Brunschvicg, nazisme, opposition monde véritable-monde imaginaire, Ouvert : dualité plan vital-plan spirituel, Philosophie, Philosophie mathématique, Science, mathesis, Science-internelle, Shabbatai Tsevi-Jacob Frank-Hitler-nazaréens-islam, Théorie des ensembles (set theory), Wronski, Wronski-Messianisme-séhélianisme-Science-internelle

La vision unificatrice de Grothendieck : mathématiques « classiques  et modernes »

xCet article sur « La vision unificatrice de Grothendieck : au-delà de l’unité (méthodologique ?) des mathématiques de Lautman« : https://www.erudit.org/fr/revues/philoso/2010-v37-n1-philoso3706/039718ar.pdf est très important et a  déjà été croisé ici, mais aujourd’hui je me contenterai de l’introduction, disons des 3 … Continue reading

Posted in Alain, ∞-catégories, ∞-topoi, category theory, Cochet-Brunschvicg, DIEU, Grothendieck, Higher category theory, Higher topos theory, homotopy type theory, Léon Brunschvicg, Nombres, number theory, opposition monde véritable-monde imaginaire, Ouvert : dualité plan vital-plan spirituel, Philosophie, Philosophie mathématique, Science, mathesis, Science-internelle, Théorie de Galois, Théorie des ensembles (set theory), Théorie des nombres, Théorie des topoi (topos theory), Wronski, Wronski-Messianisme-séhélianisme-Science-internelle

Yves Cochet pense que la fin de l’humanité aura lieu en 2035; il a tort, c’est pour 2030

https://www.francetvinfo.fr/meteo/climat/video-pour-l-ex-ministre-de-l-environnement-yves-cochet-la-fin-du-monde-aura-lieu-en-2035_3528107.html https://anthroposophiephilosophieetscience.wordpress.com/2019/07/01/fin-du-monde-et-si-cetait-serieux/ J’ai lu et relu « Chronologie des derniers temps » de Gaston Georgel, paru chez Arché en 1986, une époque où personne de sérieux  ne croyait à l’effondrement global, à part quelques échappés d’asile mal peignés et alcooliques. … Continue reading

Posted in Anthroposophie, Ésotérismes, Cochet-Brunschvicg, homotopy type theory, Léon Brunschvicg, Macrollande-dictature, nazisme, Occident faustien, opposition monde véritable-monde imaginaire, Ouvert : dualité plan vital-plan spirituel, Philosophie, Physique, Plan vital-plan spirituel, Science, mathesis, Science-internelle, Wronski, Wronski-Messianisme-séhélianisme-Science-internelle

Categories for the philosopher

edité par Elaine Landry : https://books.google.fr/books?id=RIM8DwAAQBAJ&pg=PA329&lpg=PA329&dq=weatherall+category+theory+and+classical+space+time+theories&source=bl&ots=VLMOJWFg6_&sig=ACfU3U06Jq2xUPoElhVwrsuycfL2_q3JdQ&hl=fr&sa=X&ved=2ahUKEwjvkfG1vsjhAhVeDGMBHQn7D4cQ6AEwBnoECAcQAQ#v=onepage&q=weatherall%20category%20theory%20and%20classical%20space%20time%20theories&f=false Un des chapitres, «  Proof theory of thé cut rule «  , par Cockett et Seely, est ici : http://www.math.mcgill.ca/rags/misc/proof_theory-essay.pdf On y retrouve de nombreuses correspondances avec le calcul diagrammatique de Bob Coecke , … Continue reading

Posted in ∞-catégories, ∞-topoi, Categorical quantum mechanics, category theory, Géométrie, Higher category theory, Higher topos theory, Homotopy, homotopy type theory, Philosophie, Philosophie mathématique, Physique, Quantum mechanics, Science, mathesis, Science-internelle, Théorie des ensembles (set theory), Théorie des topoi (topos theory)