Category Archives: homotopy type theory

Introduction to ∞-categories

https://pages.uoregon.edu/njp/tanaka.pdf

Posted in category theory, EHTT, Higher category theory, homotopy type theory, HTTUF, 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

Relations entre #HoTT et la théorie des catégories : page du Nlab

Cette page plus générale porte sur les liens entre la théorie des types et la théorie des catégories : https://ncatlab.org/nlab/show/relation+between+type+theory+and+category+theory Il s’agit d’un exemple de dualité entre syntaxe et sémantique : https://ncatlab.org/nlab/show/syntax-semantics+duality la théorie des catégories  pouvant être considérée comme … Continue reading

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

#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