Category Archives: HTTUF

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

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)

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

Daniel Murfet : foundations for category theory; univers de Grothendieck

Click to access FoundationsForCategoryTheory.pdf Cet article se situe dans la lancée de : https://anthroposophiephilosophieetscience.wordpress.com/2020/02/13/questions-de-taille-dans-la-theorie-des-categories/ Daniel Murfet déclare d’ entrée « n’être aucunement un expert «  mais rechercher « la paix de l’esprit » relativement aux questions fondationnelles en théorie des … 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

#∞-cosmoi #ScienceInternelle prolégomènes aux quasicatégories et à qCat catégorie des quasicatégories

https://fr.m.wikipedia.org/wiki/Quasi-catégorie Rappelons cette figure : où qCat ,CSS ( espaces complets de Segal) , ainsi que les ∞-cosmoi des catégories de Segal et celui des catégories simpliciales sont envisagées comme catégories de modèles au sens de Quillen (« Quillen model … Continue reading

Posted in ∞-catégories, ∞-cosmoi, category theory, Higher category theory, homotopy type theory, HTTUF, Philosophie mathématique, Quasicatégories, Science-internelle

#∞-cosmoi #ScienceInternelle Commencement du travail de recherche sur les ∞-cosmoi de Riehl et Verity orienté vers l’Idée d’Idée ou Étendue Intelligible

Cet article récent : https://anthroposophiephilosophieetscience.wordpress.com/2020/01/01/le-salut-cest-lelevation-de-la-conscience-a-leternite-cest-a-dire-a-limmanence-radicale-qui-est-le-pouvoir-dactualisation-de-la-reflexion-ou/ a plusieurs implications importantes sur les thèses (ou plutôt hypothèses) avancées ici. Désormais je ne défends plus une distinction tranchée entre Idée (Non humaine) et modèles mathématiques  humains ou mathèmes de celle ci : »les … Continue reading

Posted in ∞-cosmoi, category theory, Cochet-Brunschvicg, DIEU, HTTUF, Ouvert : dualité plan vital-plan spirituel, Philosophie, Science, mathesis, Science-internelle, Théorie des topoi (topos theory)

#ToposTheory (suite 3) la faute de Badiou

Je suis loin d’avoir épuisé les ressources , qui semblent inépuisables, de l’article d’Antti Veilahti  «  Alain Badiou’s mistake « : Click to access 1301.1203.pdf Dans «Logiques des mondes «  Badiou aborde la théorie des topoi par le biais des … Continue reading

Posted in Alain Badiou, category theory, Cochet-Brunschvicg, Grothendieck, HTTUF, Léon Brunschvicg, opposition monde véritable-monde imaginaire, Philosophie, Philosophie mathématique, Science, mathesis, Science-internelle, Théorie des ensembles (set theory), Théorie des topoi (topos theory), topos physics

Introduction to ∞-categories

Click to access tanaka.pdf

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