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

#EHTT Nima Rasekh : towards algebraic topology in an elementary higher topos (EH- topos = EHT)

Le texte est ici : https://www.uwo.ca/math/faculty/kapulkin/seminars/hottestfiles/Rasekh-2019-02-07-HoTTEST.pdf Une partie en a été commentée ici : https://scienceinternelle.wordpress.com/2019/02/15/ehtt-vs-hott-what-is-an-elementary-higher-topos/ EHTT est à mon sens ce qui va prendre la suite de HoTT , je peux me tromper bien sûr .. et c’est en train … Continue reading

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

Artin , Grothendieck, Verdier : théorie des topos

http://www.cmls.polytechnique.fr/perso/laszlo/sga4/SGA4-1/sga41.pdf

Posted in Philosophie mathématique, Science, mathesis, Science-internelle, Théorie des topoi (topos 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)

Cisinski : les préfaisceaux comme modèles des types d’homotopie

http://www.mathematik.uni-regensburg.de/cisinski/ast.pdf Comme alternative au vol 3 de «  Sketches of an elephant «  https://math.stackexchange.com/questions/573118/volume-3-of-johnstones-sketches-of-an-elephant

Posted in homotopy type theory, Philosophie mathématique, Science-internelle, 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)

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)

La stratégie de Badiou pour destituer l’ Un : la hiérarchie cumulative V des ensembles comme « lieu absolu » où « être et penser sont la même chose » (Parménide)

Le thème central de « l’immanence des vérités » (l’être et l’evenement 3) est l’opression de la finitude « imposée » à l’être humain, oppression religieuse, étatique, par les nécessités de l’économie ou du « réel » : « contre le schème libérateur, quoiqu’interne à la mort … Continue reading

Posted in Alain Badiou, category theory, Philosophie, Science, mathesis, Théorie des ensembles (set theory), Théorie des topoi (topos theory)