Tag Archives: Jacob Lurie

Un exposé de Jacob Lurie : loop spaces, p-divisible groups and character theory

Un conférencier très vivant et qui possède un solide sens de l’humour… Advertisements

Posted in category theory, Higher category theory, Higher topos theory, Science, mathesis | Tagged

Jacob Lurie : what is an ∞-category ?

http://www.ams.org/notices/200808/tx080800949p.pdf

Posted in ∞-catégories, ∞-topoi | Tagged

#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 , , , , , , , , , , , , ,