Category Archives: homotopy type theory

#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: https://hottandphilosophy.wordpress.com/2020/04/23/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 faut nous soucier de … 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

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

SGA Séminaires de géométrie algébrique: SGA 4 1/2 et 5

La page Wikipedia ( où l’on peut trouver les autres): https://fr.m.wikipedia.org/wiki/Séminaire_de_géométrie_algébrique_du_Bois_Marie Les textes : Click to access SGA_etale.pdf et Click to access SGA5.pdf SGA1 : Click to access SGA1.pdf http://library.msri.org/books/sga/ Click to access sga41.pdf Click to access sga2-smf.pdf https://webusers.imj-prg.fr/~patrick.polo/SGA3/ http://library.msri.org/books/sga/sga/6/index.htmlContinue reading

Posted in ∞-catégories, Géométrie, Grothendieck, homotopy type theory, Philosophie

Kerodon : un site sur la théorie catégorique de l’homotopie maintenu par Jacob Lurie

https://kerodon.net/tag/0000 Chapitre 1: https://kerodon.net/tag/0001 Categories}+{Homotopy Theory}={∞-Categories}, Un bon résumé de ce que c’est que la théorie des ∞-catégories: ∞CT = CT + HoTT

Posted in ∞-catégories, category theory, Higher category theory, Homotopy, homotopy type theory, Science, mathesis, 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