Category Archives: Théorie des topoi (topos theory)

#HoTT Reprendre l’étude de la théorie des types homotopiques (Homotopy type theory) dans la perspective de l’accès à l’Absolu

Je reprends cet article: https://anthroposophiephilosophieetscience.wordpress.com/2020/03/20/les-trois-cadres-fondationnels-de-la-mathematique-st-ct-et-hott-et-le-systeme-de-badiou/   en même temps que l’étude des 3 volumes de « L’être et l’événement «   de Badiou , voir les récents travaux sous le hashtag #BadiouEtreEvenementT3 et #BadiouEtreEvenementT1 Je diverge d’avec  Badiou sur la … Continue reading

Posted in Alain Badiou, ∞-catégories, ∞-topoi, Bertrand Russell, category theory, Cochet-Brunschvicg, DIEU, EHTT, Higher category theory, Higher topos theory, homotopy type theory, HTTUF, Léon Brunschvicg, opposition monde véritable-monde imaginaire, 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)

#BadiouEtreEvenementT1 #BadiouEtreEvenementT3 deux relations possibles entre multiples : appartenance ∈ et inclusion ⊂ conduisant à deux structures : présentation et représentation

C’est dans le tome 1, « L’être et l’événement «  de son Grand Œuvre, accessible ici en anglais : https://meditationesdeprimaphilosophia.wordpress.com/badioubeingevent/ que Badiou aborde au cours des méditations 7 « Le point d’excès «  et 8 « L’état ou métastructure et … Continue reading

Posted in Alain Badiou, category theory, Ontologie, Philosophie, Philosophie mathématique, Science, mathesis, Science-internelle, Théorie des ensembles (set theory), Théorie des topoi (topos 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)

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

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

Click to access 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

Click to access 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 … 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)