Category Archives: ∞-topoi

#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 : 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

Michael Shulman : towards elementary infinity -toposes

https://video.ias.edu/VoevodskyMemConf-2018/0913-MichaelShulman

Posted in ∞-topoi, category theory, EHTT, Higher category theory, Higher topos theory, Science, mathesis, Science-internelle, Théorie des topoi (topos theory)

Hegel : science de la logique dans ncatlab

Ici : https://ncatlab.org/nlab/show/Science+of+Logic#Phen760 « Hence we formalize Wesen by ∞-topos «  un cadre mathématique pour la doctrine hégélienne de l’Essence (Wesen) est choisi dans #HoTT et #HigherToposTheory : »In (homotopy) type theory the appearance of a reflection of the type system in itself is a type universe Type∈H here) see … Continue reading

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi, category theory, Hegel, Higher category theory, Higher topos theory, homotopy type theory, opposition monde véritable-monde imaginaire, Philosophie, Science, mathesis, Science-internelle, Théorie des topoi (topos theory), Type theory

La tuerie inspirée par le #Coran de Villeurbanne illustre les propos de #Brunschvicg

»c’est parce qu’ils ne lisent pas le Coran » : c’est ainsi que Sultan Marmed Niazi, le « demandeur d’asile afghan », a expliqué son agression meurtrière à Villeurbanne https://ripostelaique.com/villeurbanne-un-afghan-desequilibre-tue-1-infidele-et-en-blesse-9-autres.html http://www.fdesouche.com/1254073-attaque-au-couteau-pres-de-lyon-plusieurs-blesses Voici les lignes de la dernière section (« Immanence … Continue reading

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi, Cochet-Brunschvicg, Coran, DIEU, Léon Brunschvicg, Macrollande-dictature, nazisme, opposition monde véritable-monde imaginaire, Ouvert : dualité plan vital-plan spirituel, Platon, Science-internelle, Spinoza

La vision unificatrice de Grothendieck : mathématiques « classiques  et modernes »

xCet article sur « La vision unificatrice de Grothendieck : au-delà de l’unité (méthodologique ?) des mathématiques de Lautman« : https://www.erudit.org/fr/revues/philoso/2010-v37-n1-philoso3706/039718ar.pdf est très important et a  déjà été croisé ici, mais aujourd’hui je me contenterai de l’introduction, disons des 3 … Continue reading

Posted in Alain, ∞-catégories, ∞-topoi, category theory, Cochet-Brunschvicg, DIEU, Grothendieck, Higher category theory, Higher topos theory, homotopy type theory, Léon Brunschvicg, Nombres, number theory, opposition monde véritable-monde imaginaire, Ouvert : dualité plan vital-plan spirituel, Philosophie, Philosophie mathématique, Science, mathesis, Science-internelle, Théorie de Galois, Théorie des ensembles (set theory), Théorie des nombres, Théorie des topoi (topos theory), Wronski, Wronski-Messianisme-séhélianisme-Science-internelle