Category Archives: ∞-catégories

#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) | Leave a comment

#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

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 théorie des catégories en germe chez Brunschvicg

« Le Progrès de la conscience dans la philosophie occidentale » remonte il me semble au milieu des années 1920, soit 20 ans à peu près avant 1942-1945, période de la création de la théorie des catégories dans les travaux … Continue reading

Posted in ∞-catégories, category theory, Cochet-Brunschvicg, Higher category theory, homotopy type theory, Léon Brunschvicg, opposition monde véritable-monde imaginaire, Philosophie, Philosophie mathématique, Science, mathesis, Science-internelle

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

Groupe de travail sur les ∞-catégories

https://www.math.univ-paris13.fr/~vallette/GdT%20Categories%20infinies.html (surtout pour les références à la fin)

Posted in ∞-catégories