Category Archives: ∞-topoi

Le salut c’est l’élévation de la conscience à l’éternité , c’est à dire à l’immanence radicale, qui est le pouvoir d’actualisation de la réflexion, ou monde spirituel

Il est impossible de surestimer cet article consacré à Marie Anne Cochet et à ses développements, inspirés par l’étude de la philosophie brunschvicgienne, sur le « présent éternel de la réflexion », à distinguer du présent chronologique qui fuit comme … Continue reading

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi, Cochet-Brunschvicg, DIEU, Jean -Michel Le Lannou, Léon Brunschvicg, Philosophie, Science-internelle

#CochetBrunschvicg : le jeu des perles de verre: une « représentation » de « l’inépuisable aujourd’hui » de la connaissance ?

L’article d’hier : https://anthroposophiephilosophieetscience.wordpress.com/2019/12/11/le-jeu-des-perles-de-verre-le-site-glass-bead-the-game-of-means-and-ends/ faisait référence à l’autre article, qui le précédait, consacré au « pouvoir d’actualisation » décrit par Marie Anne Cochet dans son livre « Commentaire sur la conversion spirituelle dans la philosophie de Brunschvicg » , pouvoir … Continue reading

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi, Cochet-Brunschvicg, Science-internelle

#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