Category Archives: Théorie des topoi (topos 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

Lectures Grothendickiennes :playlist sur Youtube

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

Alain Connes : un topo sur les topos

Alain CONNES . Un topo sur les topos

Posted in category theory, Grothendieck, Léon Brunschvicg, Philosophie, Philosophie mathématique, Science, mathesis, Science-internelle, Théorie des topoi (topos theory), Wronski, Wronski-Messianisme-séhélianisme-Science-internelle | Leave a comment

Laurent Lafforgue : les topoi de Grothendieck et le rôle qu’ils peuvent jouer en mathématiques

https://sites.google.com/site/logiquecategorique/autres-seminaires/nantes/20160401-Lafforgue-Topos La première heure de l’exposé est la vidéo en haut de page. Le texte correspondant à l’exposé est ici : http://preprints.ihes.fr/2016/M/M-16-26.pdf Il a été rédigé par Laurent Lafforgue à partir de notes et d’exposés d’Olivia Caramello . La théorie … Continue reading

Posted in category theory, Grothendieck, opposition monde véritable-monde imaginaire, Philosophie mathématique, Science, mathesis, Science-internelle, Théorie des topoi (topos theory) | Leave a comment

Extension de Kan ( « Categorical homotopy theory » d’Emily Riehl)

L’extension de Kan est une construction universelle en théorie des catégories: https://fr.m.wikipedia.org/wiki/Extension_de_Kan https://fr.m.wikipedia.org/wiki/Propriété_universelle mais c’est à partir du livre « Categorical homotopy theory » d’Emily Riehl : http://www.math.jhu.edu/~eriehl/cathtpy.pdf Qu’il est le mieux loisible de l’étudier. Le point de vue de … Continue reading

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

New foundations : towards tribal unity

L’auteur part de la distinction entre  cinq tribus différentes dans les disciplines du ML (machine learning ) et de l’intelligence artificielle ( AI): Five Tribes of Machine Learning « Symbolists use formal systems. They are influenced by computer science, linguistics, and … Continue reading

Posted in Categorical quantum mechanics, category theory, Grothendieck, Philosophie, Philosophie mathématique, Physique, Science, mathesis, Science-internelle, Théorie des ensembles (set theory), Théorie des topoi (topos theory), topos physics, Wronski, Wronski-Messianisme-séhélianisme-Science-internelle