Category Archives: Higher topos theory

∞-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 | Leave a comment

#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 | Leave a comment

#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

#HoTT #HTTUF Homotopy type theory =#HigherToposTheory ?

 https://homotopytypetheory.org »Homotopy Type Theory refers to a new field of study relating Martin-Löf’s system of intensional, constructive type theory with abstract homotopy theory. … As the natural logic of homotopy, constructive type theory is also related to higher category theoryas … Continue reading

Posted in EHTT, Higher category theory, Higher topos theory, homotopy type theory, HTTUF, Science, mathesis, Science-internelle