Category Archives: Théorie des ensembles (set theory)

#BadiouEtreEvenementT3 La stratégie philosophique de Badiou : Immanence, finitude, infini, référent ontologique absolu

L’introduction  générale au début du tome 3 de « L’être et l’évènement » , « L’immanence des vérités «  que je suis en train d’étudier et me propose de commenter dans ce hashtag, est précieuse, car Badiou y explique sa stratégie … Continue reading

Posted in Alain Badiou, ∞-catégories, ∞-topoi, category theory, Cochet-Brunschvicg, DIEU, Higher category theory, Higher topos theory, Husserl, Jean -Michel Le Lannou, Léon Brunschvicg, Phénoménologie, Philosophie, Philosophie mathématique, Science, mathesis, Science-internelle, Théorie des ensembles (set theory), Théorie des topoi (topos theory) | Leave a comment

Les trois cadres fondationnels de la mathématique : #ST , #CT et #HoTT et le système de Badiou

Comme je l’ai dit récemment, je profite de cette période de confinement pour enfin étudier sérieusement le dernier Grand Œuvre de Badiou : L’immanence des vérités, qui constitue le tome 3 de « L’être et l’événement «  , la somme … Continue reading

Posted in Alain Badiou, category theory, Cochet-Brunschvicg, Deleuze, Deleuze, DIEU, Higher category theory, Higher topos theory, homotopy type theory, HTTUF, Husserl, Léon Brunschvicg, opposition monde véritable-monde imaginaire, Philosophie, 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 | Leave a comment

Théorie des catégories et propriétés universelles

https://webusers.imj-prg.fr/~ariane.mezard/universal_properties.pdf voir aussi la façon dont ce thème crucial a été traité ici : https://meditationesdeprimaphilosophia.wordpress.com/2015/12/05/lidee-de-probleme-universel-un-important-promontoire-pour-une-vision-de-lunite-de-la-mathesis/ https://meditationesdeprimaphilosophia.wordpress.com/tag/theorie-des-categories/ ainsi que : http://www.les-mathematiques.net/phorum/read.php?16,1407712,1408218 http://www.entropologie.fr/2019/08/de-la-propriete-universelle-en-theorie-des-categories.html  

Posted in category theory, Higher category theory, Science, mathesis, Science-internelle, Théorie des ensembles (set theory), Théorie des topoi (topos theory)

Daniel Murfet : foundations for category theory; univers de Grothendieck

http://therisingsea.org/notes/FoundationsForCategoryTheory.pdf Cet article se situe dans la lancée de : https://anthroposophiephilosophieetscience.wordpress.com/2020/02/13/questions-de-taille-dans-la-theorie-des-categories/ Daniel Murfet déclare d’ entrée « n’être aucunement un expert «  mais rechercher « la paix de l’esprit » relativement aux questions fondationnelles en théorie des catégories. C’est tout … Continue reading

Posted in Alain Badiou, category theory, Cochet-Brunschvicg, Descartes, DIEU, Grothendieck, Higher category theory, Higher topos theory, homotopy type theory, HTTUF, Husserl, Léon Brunschvicg, Ontologie, opposition monde véritable-monde imaginaire, Ouvert : dualité plan vital-plan spirituel, Philosophie, Science, mathesis, Science-internelle, Théorie des ensembles (set theory), Théorie des topoi (topos theory), Wronski-Messianisme-séhélianisme-Science-internelle

Questions de taille dans la théorie des catégories

Il n’y a pas d’ensemble de tous les ensembles, l’argument en forme de paradoxe de Russell est là pour le prouver : https://fr.m.wikipedia.org/wiki/Paradoxe_de_Russell La collection de « tous les ensembles «  constitue une classe au sens propre : https://fr.m.wikipedia.org/wiki/Classe_(mathématiques) C’est … Continue reading

Posted in ∞-catégories, category theory, DIEU, Grothendieck, Higher category theory, Nlab, Science, mathesis, Science-internelle, Théorie des ensembles (set theory), Théorie des topoi (topos theory)

#ToposTheory (suite 3) la faute de Badiou

Je suis loin d’avoir épuisé les ressources , qui semblent inépuisables, de l’article d’Antti Veilahti  «  Alain Badiou’s mistake « : https://arxiv.org/pdf/1301.1203.pdf Dans «Logiques des mondes «  Badiou aborde la théorie des topoi par le biais des T-sets, aussi appelés … Continue reading

Posted in Alain Badiou, category theory, Cochet-Brunschvicg, Grothendieck, HTTUF, Léon Brunschvicg, opposition monde véritable-monde imaginaire, Philosophie, Philosophie mathématique, Science, mathesis, Science-internelle, Théorie des ensembles (set theory), Théorie des topoi (topos theory), topos physics

Projet de recherche sur : physique théorique et théorie des catégories

C’est une proposition de l’ IHPST https://fr.m.wikipedia.org/wiki/Institut_d%27histoire_et_de_philosophie_des_sciences_et_des_techniques que l’on peut lire ici : http://www.ihpst.cnrs.fr/sites/default/files/projet_foundphys.pdf   Ce document note en entrée que les avancées en physique dans le passé sont toujours dûes , ou concomitantes, à des progrès en mathématiques ( … Continue reading

Posted in Categorical quantum mechanics, category theory, Philosophie, Philosophie mathématique, Physique, Quantum relativity, Relativité, Science, mathesis, Science-internelle, Théorie des ensembles (set theory), Théorie des topoi (topos theory), topos physics