Tag Archives: Dominic Verity

Thèse : towards an (∞,2)-category of coherent monads in an ∞-cosmos

https://infoscience.epfl.ch/record/231037/files/EPFL_TH7748.pdf Advertisements

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi | Tagged , ,

#∞-cosmoi : nouveau travail de Dominic Verity et Emily Riehl : “The comprehension construction”

http://www.math.jhu.edu/~eriehl/comprehension.pdf Les ∞-cosmoi doivent être vus comme des “Univers d’Idées”, puisque les objets de ces catégories simpliciale sont pas définition les ∞-catégories, qui sont ici les Idées, ou les mathèmes d’Idées . Il existe plusieurs exemples précis d’ ∞-cosmoi : … Continue reading

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi | Tagged , ,

Cosmoi et ∞-cosmoi

L’idée d’∞-cosmos , qui est la plus profondément étudiée par Riehl et Verity, a été introduite ici : https://anthroposophiephilosophieetscience.wordpress.com/2017/01/19/scienceinternelle-8-∞-cosmoi/ Sa Page est ici : https://ncatlab.org/nlab/show/infinity-cosmos Un ∞-cosmos y est défini , pragmatiquement , comme “un bon endroit pour faire de … Continue reading

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi | Tagged , , ,

Emily Riehl #HoTT towards a synthetic theory of (∞,1)- categories

http://www.fields.utoronto.ca/talks/title-tba-102 Article associé: https://arxiv.org/abs/1705.07442 Events https://www.cl.cam.ac.uk/~rio22/pdf/Fields-talk.pdf

Posted in ∞-catégories, ∞-cosmoi, homotopy type theory, Philosophie | Tagged ,

#ScienceInternelle 19 : recherches sur l’Idée de #Dieu qui est Dieu: ∞-catégorie des ∞-catégories

J’ai déjà affirmé ici que Dieu, le Dieu des philosophes et des Savants, est une Idée ,formée par l’esprit humain, pas un Être suprême qui pourrait avoir des intentions , des sentiments, des pensées , selon une image anthropomorphique . … Continue reading

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi, Cochet-Brunschvicg, Coran, Descartes, DIEU, Europe, Higher category theory, Higher topos theory, Islam, Israel, Léon Brunschvicg, nazisme, Ouvert : dualité plan vital-plan spirituel, Philosophie mathématique, Plan vital-plan spirituel, Platon, Religions, Science, mathesis, Science-internelle, Spinoza | Tagged , , , , , , , , , , , , , , , , , , ,

#HigherToposTheory 11 : L’analogue du 1-topos Set pour la théorie des ∞-catégories : l’ ∞-catégorie “Spaces”

Nous avons vu récemment que le projet de “Science internelle” rencontre certaines difficultés: https://anthroposophiephilosophieetscience.wordpress.com/2017/02/18/scienceinternelle-12-mathematique-philosophie-et-science-internelle-vers-une-theorie-axiomatique/ et voir aussi la dernière partie de l’article très embrouillé d’hier, à propos du passage de Brunschvicg sur “ens et unum non convertuntur” , passage crucial … Continue reading

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi, Ouvert : dualité plan vital-plan spirituel, Philosophie, Philosophie mathématique, Plan vital-plan spirituel, Science-internelle | Tagged , , , , , ,

#ScienceInternelle 12 : mathématique, philosophie et Science internelle : vers une théorie axiomatique

La version mathématique de la dualité entre plan vital et plan spirituel-internel, en quoi consiste ce que j’appelle l’Ouvert et qui est la base de la Science internelle, se situe (pour l’instant) en la différence entre théorie des ensembles et … Continue reading

Posted in Alain Badiou, ∞-cosmoi, ∞-topoi, category theory, DIEU, Higher category theory, Léon Brunschvicg, Ontologie, Philosophie, Philosophie mathématique, Plan vital-plan spirituel, Platon, Science, mathesis, Science-internelle, Théorie des ensembles (set theory), Théorie des topoi (topos theory) | Tagged , , , , , , , , ,