Daily Archives: October 29, 2018

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

Mathematics and computer science

Originally posted on Intuitionistic Type Theory:
Mathematics, logic, and computer science share a common history. Mathematics and logic are ancient dragons, and not much upheaval is to be expected in their futures. But where lies the future of computer science?…

Posted in Philosophie

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

Dans ces notes de cours sur la théorie homotopique des types : Click to access 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 … 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

Click to access 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: Click to access badiou-logic-of-worlds.pdf Texte anglais de … Continue reading

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