Tag Archives: Jacob Lurie

#HigherToposTheory 15 : fibrations d’ensembles simpliciaux

Tout le chapitre 2 du livre de Lurie, qui est lisible ici: http://www.math.harvard.edu/~lurie/papers/highertopoi.pdf (J’utilise pour ma part la version sur papier, la pagination peut être différente) est consacré aux fibrations, terme que nous avons déjà croisé à plusieurs reprises : … Continue reading

Posted in ∞-catégories, ∞-topoi, category theory, Higher category theory, Higher topos theory, homotopy type theory, Philosophie mathématique, Science, mathesis, Théorie des topoi (topos theory) | Tagged , ,

#HoTT : théorie homotopique des types une révolution des mathématiques ?

Lorsque j’ai créé ce blog, il n’y a pas si longtemps de cela, je ne connaissais même pas ce nom : HoTT = homotopy type theory = théorie homotopique des types, encore moins en quoi consistait cette “nouvelle fondation” des … Continue reading

Posted in Alain Badiou, ∞-catégories, ∞-cosmoi, ∞-topoi, category theory, Grothendieck, Higher category theory, Higher topos theory, Homotopy, homotopy type theory, Léon Brunschvicg, Philosophie, Philosophie mathématique, Science, mathesis, Science-internelle | Tagged , , ,

#HigherToposTheory 13 notes sur le chapitre 1 de HTT de Jacob Lurie

Ces notes se trouvent ici : http://people.fas.harvard.edu/~amathew/notesHTT.pdf Elles sont écrite par l’auteur du blog “Climbing Mount Bourbaki “: https://amathew.wordpress.com

Posted in ∞-catégories, ∞-topoi, Higher topos theory | Tagged

De #HigherToposTheory à #HomotopyTypeTheory

J’ai commencé à étudier sur ce blog, dans le Hashtag #HigherToposTheory l’extraordinaire livre de Jacob Lurie ” Higher Topos theory” que l’on peut lire gratuitement sur plusieurs sites, comme Arxiv, ou bien ici: http://www.math.harvard.edu/~lurie/papers/highertopoi.pdf Le dernier article publié dans le … Continue reading

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi, Bertrand Russell, category theory, Higher category theory, Higher topos theory, homotopy type theory, Philosophie, Philosophie mathématique, Science, mathesis, Science-internelle, Théorie des topoi (topos theory), Wronski-Messianisme-séhélianisme-Science-internelle | Tagged , , , , , , , , , , , , , ,

#ScienceInternelle 21: “la Foi passera mais l’Intelligence subsistera éternellement” (Malebranche)

J’assume totalement cette page écrite il y a longtemps qui s’inspire du livre de Marie Anne Cochet : ” Commentaire sur la conversion spirituelle dans la philosophie de Léon Brunschvicg ” (1937, Bruxelles), livre depuis longtemps épuisé dont je possède … Continue reading

Posted in Anthroposophie, ∞-catégories, ∞-cosmoi, ∞-topoi, Cochet-Brunschvicg, DIEU, Europe, Higher category theory, Higher topos theory, Léon Brunschvicg, Ouvert : dualité plan vital-plan spirituel, Philosophie, Philosophie mathématique, Plan vital-plan spirituel, Science, mathesis, Science-internelle, Wronski | Tagged , , , , , , , , , , , , ,

#HigherToposTheory 12: un nouveau guide de lecture de “Higher topos theory” de Jacob Lurie

J’ai déjà parlé de ce forum de discussions du Nlab: https://nforum.ncatlab.org sur HTT , le livre de Lurie: http://www.math.harvard.edu/~lurie/papers/highertopoi.pdf il y a une discussion: https://anthroposophiephilosophieetscience.wordpress.com/2017/01/21/highertopostheory-11-une-carte-routiere-pour-letude-de-higher-topos-theory-de-jacob-lurie/ https://nforum.ncatlab.org/discussion/2748/a-learning-roadmap-for-higher-topos-theory/ On y trouve ce guide de lecture: https://ncatlab.org/spahn/show/a%20reading%20guide%20to%20HTT qui préconise de commencer avec l’appendice … Continue reading

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi, Higher category theory, Higher topos theory, Ouvert : dualité plan vital-plan spirituel, Philosophie, Philosophie mathématique, Science, mathesis, Science-internelle | Tagged , , , , ,

#ScienceInternelle 19 : recherches sur l’Idée de #Dieu qui est Dieu: ∞-catégorie des ∞-catégories

J’ai déjà affirmé ici que Dieu, le Dieu des philosophes et des Savants, est une Idée ,formée par l’esprit humain, pas un Être suprême qui pourrait avoir des intentions , des sentiments, des pensées , selon une image anthropomorphique . … Continue reading

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi, Cochet-Brunschvicg, Coran, Descartes, DIEU, Europe, Higher category theory, Higher topos theory, Islam, Israel, Léon Brunschvicg, nazisme, Ouvert : dualité plan vital-plan spirituel, Philosophie mathématique, Plan vital-plan spirituel, Platon, Religions, Science, mathesis, Science-internelle, Spinoza | Tagged , , , , , , , , , , , , , , , , , , ,