Category Archives: EHTT

Le grand effondrement

C’est maintenant que « Le camp des Saints » se passe ! Il est rare que les mouvements de foule spontanés ne soient pas, en fait, plus ou moins manipulés. Et l’on imagine aussitôt une sorte de chef d’orchestre tout-­puissant, … Continue reading

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi, Bertrand Russell, Categorical probability theory, Categorical quantum mechanics, category theory, Cochet-Brunschvicg, DIEU, EHTT, Europe, France-bordel, Higher category theory, Higher topos theory, homotopy type theory, HTTUF, Nombres, number theory, Occident faustien, Ouvert : dualité plan vital-plan spirituel, Philosophie, Philosophie mathématique, Physique, Quantum relativity, Relativité, Science, mathesis, Science-internelle, Théorie des ensembles (set theory), Théorie des topoi (topos theory), topos physics | Leave a comment

Principia mathematica : les 3 volumes

volume 1 : https://lesharmoniesdelesprit.files.wordpress.com/2015/11/whiteheadrussell-principiamathematicavolumei.pdf volume 2 :    ***** https://lesharmoniesdelesprit.files.wordpress.com/2015/11/alfred-north-whitehead-bertrand-russell-principia-mathematica-vol-2.pdf Volume 3 : https://antilogicalism.com/wp-content/uploads/2018/04/principia-mathematica-vol-3.pdf C’est le livre fondateur de la logique mathématique. Publié en 1913, il ne traitait évidemment pas des catégories, inventées dans les années 40 : https://books.google.fr/books?hl=fr&lr=&id=prlgATkzvTgC&oi=fnd&pg=PA9&dq=théorie+des+catégories&ots=50kjk4hVWr&sig=AeVp7SUwiH8L56ROmgJNvUV5HwA#v=onepage&q=théorie%20des%20catégories&f=false https://fr.m.wikipedia.org/wiki/Théorie_des_catégoriesContinue reading

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi, Bertrand Russell, EHTT, homotopy type theory, HTTUF, Logique, Philosophie mathématique, Science-internelle

#HoTT théorie des types homotopiques pour corriger la vision affectée par l’interférence entre théorie des ensembles et théorie des catégories ?

Il s’agit donc ici de reprendre l’étude de HoTT: https://anthroposophiephilosophieetscience.wordpress.com/2020/04/15/hott-reprendre-letude-de-la-theorie-des-types-homotopiques-homotopy-type-theory-dans-la-perspective-de-lacces-a-labsolu/ qui avait été accomplie ici , et dont témoignent les articles du hashtag #HoTT, mais pas dans une perspective d’ » entassement » de savoirs spécialisés  : la théorie des … Continue reading

Posted in DIEU, EHTT, homotopy type theory, HTTUF, Philosophie, Philosophie mathématique, Science, mathesis, Science-internelle

#HoTT Reprendre l’étude de la théorie des types homotopiques (Homotopy type theory) dans la perspective de l’accès à l’Absolu

Je reprends cet article: https://anthroposophiephilosophieetscience.wordpress.com/2020/03/20/les-trois-cadres-fondationnels-de-la-mathematique-st-ct-et-hott-et-le-systeme-de-badiou/   en même temps que l’étude des 3 volumes de « L’être et l’événement «   de Badiou , voir les récents travaux sous le hashtag #BadiouEtreEvenementT3 et #BadiouEtreEvenementT1 Je diverge d’avec  Badiou sur la … Continue reading

Posted in Alain Badiou, ∞-catégories, ∞-topoi, Bertrand Russell, category theory, Cochet-Brunschvicg, DIEU, EHTT, Higher category theory, Higher topos theory, homotopy type theory, HTTUF, Léon Brunschvicg, opposition monde véritable-monde imaginaire, 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)

Introduction to ∞-categories

Click to access tanaka.pdf

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

#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 : Click to access highertopoi.pdf ainsi d’ailleurs que sur la nouvelle discipline « Homotopy type … 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