Category Archives: HTTUF

HoTT : page du Nlab «  mathematics presented in Homotopy Type Theory »

https://ncatlab.org/nlab/show/mathematics+presented+in+homotopy+type+theory C’est une page qui pointe vers de nombreux liens et articles, que j’étudierai ici soigneusement, puisque je considère la théorie des types homotopiques comme le troisième degré , après la théorie des catégories en 1945, de la montée des … Continue reading

Posted in homotopy type theory, HTTUF | Comments Off on HoTT : page du Nlab «  mathematics presented in Homotopy Type Theory »

Kerodon.net : le langage des ∞-catégories

Ce site https://kerodon.net/tag/0001 qui constitue une source d’informations importante, est géré par Jacob Lurie, auteur de «  Higher topos theory » qui a fait ici l’objet d’une étude sur le hashtag #HigherToposTheory : https://anthroposophiephilosophieetscience.wordpress.com/2017/04/19/highertopostheory-un-nouveau-guide-de-lecture    #HigherToposTheory 6: modèles algébriques et géométriques … Continue reading

Posted in ∞-catégories, category theory, Higher category theory, Higher topos theory, homotopy type theory, HTTUF | Comments Off on Kerodon.net : le langage des ∞-catégories

#HoTT2 #HigherCategoryTheory théorie des types homotopiques et théorie des ∞-catégories

La thèse de l’homotopie de Grothendieck est, selon cet article : *****https://arxiv.org/pdf/1807.02177.pdf

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi, Grothendieck, Homotopy, homotopy type theory, HTTUF | Comments Off on #HoTT2 #HigherCategoryTheory théorie des types homotopiques et théorie des ∞-catégories

#HoTT2 #PM Au commencement était le jugement

f« Au commencement était le jugement «  est l’interprétation par le Faust du film de Sokurov en 2011: Alexander Sokurov : FAUST (2011, vf) du célèbre début de l’Evangile de Jean : »au commencement était le Verbe » https://theotex.org/ntgf/jean/jean_1_gf.html Il nous … Continue reading

Posted in Cochet-Brunschvicg, DIEU, Grothendieck, homotopy type theory, HTTUF, Léon Brunschvicg, Occident faustien, opposition monde véritable-monde imaginaire, Philosophie, Philosophie mathématique, Science-internelle, Spinoza, Wronski | Comments Off on #HoTT2 #PM Au commencement était le jugement

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 | Comments Off on Le grand effondrement

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 | Comments Off on Principia mathematica : les 3 volumes

#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: #HoTT Reprendre l’étude de la théorie des types homotopiques (Homotopy type theory) dans la perspective de l’accès à l’Absolu qui avait été accomplie ici , et dont témoignent les articles du … Continue reading

Posted in DIEU, EHTT, homotopy type theory, HTTUF, Philosophie, Philosophie mathématique, Science, mathesis, Science-internelle | Comments Off on #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 ?

#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: Les trois cadres fondationnels de la mathématique : #ST , #CT et #HoTT et le système de Badiou   en même temps que l’étude des 3 volumes de « L’être et l’événement «   de Badiou … 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) | Comments Off on #HoTT Reprendre l’étude de la théorie des types homotopiques (Homotopy type theory) dans la perspective de l’accès à l’Absolu

Les trois cadres fondationnels de la mathématique : #ST , #CT et #HoTT et le système de Badiou

Comme je l’ai dit récemment, je profite de cette période de confinement pour enfin étudier sérieusement le dernier Grand Œuvre de Badiou : L’immanence des vérités, qui constitue le tome 3 de « L’être et l’événement «  , la somme … Continue reading

Posted in Alain Badiou, category theory, Cochet-Brunschvicg, Deleuze, Deleuze, DIEU, Higher category theory, Higher topos theory, homotopy type theory, HTTUF, Husserl, Léon Brunschvicg, opposition monde véritable-monde imaginaire, Philosophie, Physique, Science, mathesis, Science-internelle, Théorie des ensembles (set theory), Théorie des topoi (topos theory), topos physics, Wronski, Wronski-Messianisme-séhélianisme-Science-internelle | Comments Off on Les trois cadres fondationnels de la mathématique : #ST , #CT et #HoTT et le système de Badiou

Daniel Murfet : foundations for category theory; univers de Grothendieck

Click to access FoundationsForCategoryTheory.pdf Cet article se situe dans la lancée de : Questions de taille dans la théorie des catégories Daniel Murfet déclare d’ entrée « n’être aucunement un expert «  mais rechercher « la paix de l’esprit » relativement … Continue reading

Posted in Alain Badiou, category theory, Cochet-Brunschvicg, Descartes, DIEU, Grothendieck, Higher category theory, Higher topos theory, homotopy type theory, HTTUF, Husserl, Léon Brunschvicg, Ontologie, opposition monde véritable-monde imaginaire, Ouvert : dualité plan vital-plan spirituel, Philosophie, Science, mathesis, Science-internelle, Théorie des ensembles (set theory), Théorie des topoi (topos theory), Wronski-Messianisme-séhélianisme-Science-internelle | Comments Off on Daniel Murfet : foundations for category theory; univers de Grothendieck