Tag Archives: Bas Spitters

Ensembles (sets) et #HoTT

Emily Riehl écrit sur Twitter que la conclusion de ce texte article de Mike Shulman « will blow your mind »: « homotopy type theory : The Logic of space «  https://arxiv.org/pdf/1703.03007.pdf La théorie des « espaces synthétiques » est expliquée sommairement au début, il … Continue reading

Posted in ∞-catégories, ∞-topoi, homotopy type theory, Théorie des ensembles (set theory) | Tagged , , , , ,

La théorie des topoi et la physique

https://meditationesdeprimaphilosophia.wordpress.com/2015/07/18/quest-ce-quune-chose-physique-et-theorie-des-topoi-2/ L’article “what is a thing” est sur Arxiv: https://arxiv.org/pdf/0803.0417.pdf Bâtir une théorie physique équivaut à représenter dans un topos un langage formel lié au système physique à étudier. Ce topos est Set, le topos des ensembles, pour la physique … Continue reading

Posted in category theory, Higher topos theory, Physique, Science-internelle, Théorie des topoi (topos theory), topos physics | 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 , , , , , , , , , , , , , ,