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

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) | Leave a comment

Théorie des ensembles pour les philosophes

https://hal.archives-ouvertes.fr/hal-01858062/document

Posted in Alain Badiou, Bertrand Russell, Philosophie, Philosophie mathématique, Science, mathesis, Théorie des ensembles (set theory)

Le lieu intelligible ou référentiel absolu chez Badiou : la parabole de l’éléphant

Parabole à l’origine du titre du livre de Peter Johnstone : » Sketches of an elephant «  : https://ncatlab.org/nlab/show/Elephant https://en.m.wikipedia.org/wiki/Blind_men_and_an_elephant La parabole est rappelée dans l’article de Bas Spitters sur les ensembles dans la théorie homotopique des types : https://hottandphilosophy.wordpress.com/2018/10/24/hott-sets-in-homotopy-type-theory-bas-spitters/ La … Continue reading

Posted in Alain Badiou, DIEU, homotopy type theory, Ontologie, Phénoménologie, Philosophie mathématique, Science, mathesis, Science-internelle, Théorie des ensembles (set theory), Théorie des topoi (topos theory)

Cat, catégorie des (petites) catégories , est un typos

C’est un théorème de Lamarche- voir cette note de Joyal : page 58 sur 75 http://www.crm.cat/en/Activities/Documents/joyal-crm-2013.pdf Sur la notion de typos : https://anthroposophiephilosophieetscience.wordpress.com/2017/10/22/hott-andre-joyal-la-notion-de-typos/ Cette notion est définie dans la note de Joyal donnée au début http://www.crm.cat/en/Activities/Documents/joyal-crm-2013.pdf page 56 sur 75 … Continue reading

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

#HoTT un univers U qui s’inclut lui-même ; U: U

Dans ces notes de cours sur la théorie homotopique des types : https://www.cs.uoregon.edu/research/summerschool/summer14/rwh_notes/notes_week5.pdf le paragraphe 3 page 2 est consacrée à la hiérarchie cumulative d’univers ( analogue à la hiérarchie cumulative V mise en avant par Badiou en théorie des … Continue reading

Posted in Alain Badiou, homotopy type theory, Philosophie, Philosophie mathématique, Science, mathesis, Science-internelle, Théorie des ensembles (set theory)

Thomas Jech : set theory, et livres de Badiou

https://logic.wikischolars.columbia.edu/file/view/Jech%2C+T.+J.+%282003%29.+Set+Theory+%28The+3rd+millennium+ed.%29.pdf Accompagnant toute lecture approfondie de Badiou, de même que le livre de Goldblatt sur les topoi, pour « Logique des mondes » https://www.maa.org/press/maa-reviews/topoi-the-categorial-analysis-of-logic https://projecteuclid.org/euclid.bia/1403013939#toc Texte en anglais de Logiques des mondes: https://tractatustoposophicus.files.wordpress.com/2012/11/badiou-logic-of-worlds.pdf Texte anglais de l’Etre et l’événement : https://tractatustoposophicus.files.wordpress.com/2012/11/badiou-being-and-event.pdf https://mathesismessianisme.wordpress.com/2013/07/25/badiou-textes-de-logique-des-mondes-et-etre-et-evenement/

Posted in Alain Badiou, Philosophie, Philosophie mathématique, Science, mathesis, Science-internelle, Théorie des ensembles (set theory), Théorie des topoi (topos theory)

#HoTT : la théorie homotopique des types pour sortir de l’opposition thématisée par Badiou

Au début de ce blog figure cet article datant de Mars 2015 : https://anthroposophiephilosophieetscience.wordpress.com/2016/03/15/les-deux-theories-mathematiques-privilegiees-par-badiou-topoi-et-ensembles-correspondant-aux-deux-plans-vital-ontologique-et-spirituel/ et la situation n’a pas changé avec le récent ouvrage « L’immanence des vérités «  où Badiou écrit dans l’Introduction générale page 18: « Le regretté Jean Toussaint … Continue reading

Posted in Alain Badiou, ∞-catégories, ∞-cosmoi, ∞-topoi, category theory, Higher category theory, Homotopy, homotopy type theory, Léon Brunschvicg, Philosophie, Philosophie mathématique, Science, mathesis, Science-internelle, Théorie des ensembles (set theory)