Tag Archives: Hans Joachim Baues

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

#HigherToposTheory 8 : définitions équivalentes pour les (∞,1)-catégories

La difficulté principale pour suivre cette recherche (très fastidieuse et complexe, admettons le) sur les catégories et topoi en dimensions supérieures (“higher category theory) est en quelque sorte analogue aux difficultés de pilotage en zone montagneuse (que connaissent aussi les … Continue reading

Posted in category theory, Cochet-Brunschvicg, DIEU, Higher category theory, Higher topos theory, Matti Pitkanen-TGD, Ouvert : dualité plan vital-plan spirituel, Philosophie, Philosophie mathématique, Science, mathesis, Science-internelle, Théorie des ensembles (set theory), Théorie des topoi (topos theory), topos physics | Tagged , , , , ,