Category Archives: Higher topos theory

n-topos for large n

https://ncatlab.org/michaelshulman/show/n-topos+for+large+n https://ncatlab.org/nlab/show/n-topos

Posted in category theory, Higher category theory, Higher topos theory, Nlab, Science, mathesis, Science-internelle

∞-categories seminar

http://www.math.titech.ac.jp/~shanekelly/InfinityCategories2017SS.html#x1-7000I  

Posted in ∞-catégories, category theory, Higher category theory, Higher topos theory, Science, mathesis

#HigherToposTheory #HTTUF Leeds 2019 HTT-UF school :minicourse on Higher topos theory references

tout un tas d’articles intéressants dans ce domaine http://conferences.leeds.ac.uk/httuf/wp-content/uploads/sites/43/2019/06/outline-and-references-higher-topos.pdf  

Posted in ∞-catégories, EHTT, Higher category theory, Higher topos theory, homotopy type theory, HTTUF, Philosophie, Science, mathesis

#HigherToposTheory un guide pour la navigation dans le livre de Jacob Lurie

Il vaut peut être la peine, avant de se lancer seul dans la forêt profonde de « Higher Topos theory » de Lurie, de survoler l’ensemble afin d’avoir une idée précise de l’architecture de ce vaste monument : l’article 12 … Continue reading

Posted in ∞-catégories, ∞-topoi, category theory, EHTT, Ensembles simpliciaux, Grothendieck, Higher category theory, Higher topos theory, Homotopy, homotopy type theory, HTTUF, Nlab, Quasicatégories, Science, mathesis, Science-internelle, Théorie des topoi (topos theory)

« Dieu seul te jugera »

« Dieu seul te jugera »: c’est  le SMS envoyé par l’épouse de Mickael Harpon au terroriste, après qu’il l’ait informée de son achat d’un couteau de cuisine avant d’aller au boulot et de perpétrer un massacre. Cela c’est la … Continue reading

Posted in category theory, Cochet-Brunschvicg, Coran, DIEU, France-bordel, Higher category theory, Higher topos theory, homotopy type theory, HTTUF, Islam, Léon Brunschvicg, Macrollande-dictature, Merde in France, opposition monde véritable-monde imaginaire, Ouvert : dualité plan vital-plan spirituel, Philosophie, Science, mathesis, Science-internelle, Théorie des topoi (topos theory), topos physics, Wronski, Wronski-Messianisme-séhélianisme-Science-internelle

#HoTT #HTTUF #EHTT #HigherToposTheory ∞- topos

Reprenons donc ces différents hashtag comme je l’ai proposé dans l’article d’hier : https://anthroposophiephilosophieetscience.wordpress.com/2019/10/01/hott-httuf-ehtt-reprendre-letude-de-highertopostheory/ en commençant par cette page du wiki Nlab consacrée à HoTT et à ses « modèles «  dans les topoi multidimensionnels (« higher toposes »): https://ncatlab.org/homotopytypetheory/show/model+of+type+theory+in+an+(infinity,1)-toposContinue reading

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi, EHTT, Higher category theory, Higher topos theory, homotopy type theory, HTTUF, Science, mathesis, Science-internelle

#HoTT #HTTUF #EHTT reprendre l’étude de #HigherToposTheory

L’année dernière j’avais réalisé un fort « investissement » sur le livre « Higher topos theory » de Jacob Lurie  , qui est lisible ici : http://www.math.harvard.edu/~lurie/papers/highertopoi.pdf ainsi d’ailleurs que sur la nouvelle discipline « Homotopy type theory «  , … Continue reading

Posted in ∞-topoi, EHTT, Higher category theory, Higher topos theory, homotopy type theory, HTTUF, opposition monde véritable-monde imaginaire, Science, mathesis, Science-internelle