Tag Archives: category theory

De #HigherToposTheory à #HomotopyTypeTheory

J’ai commencé à étudier sur ce blog, dans le Hashtag #HigherToposTheory l’extraordinaire livre de Jacob Lurie ” Higher Topos theory” que l’on peut lire gratuitement sur plusieurs sites, comme Arxiv, ou bien ici: http://www.math.harvard.edu/~lurie/papers/highertopoi.pdf Le dernier article publié dans le … Continue reading

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi, Bertrand Russell, category theory, Higher category theory, Higher topos theory, homotopy type theory, Philosophie, Philosophie mathématique, Science, mathesis, Science-internelle, Théorie des topoi (topos theory), Wronski-Messianisme-séhélianisme-Science-internelle | Tagged , , , , , , , , , , , , , ,

Démonstration rigoureuse de la cohérence et de la Vérité absolues du christianisme

DIeu est une Idée, Idée de la Perfection Absolue et de l’Un-Bien “au delà de l’être ” (comme dit Platon) (L’être correspondant au multiple pur du plan ontologique-vital, comme le démontre Badiou dans “L’être et l’événement ” Dieu, comme toute … Continue reading

Posted in Anthroposophie, category theory, Christianisme, Coran, Europe, Islam, Léon Brunschvicg, Ontologie, Ouvert : dualité plan vital-plan spirituel, Philosophie, Plan vital-plan spirituel, Science, mathesis | Tagged , , , , , , , , , , , ,

Un argument de plus pour la théorie des catégories comme cadre mathématique de l’Ouvert

Mais qu’est ce donc que “l’esprit”, le “spirituel” dont nous parlons ici pour l’opposer au plan vital-ontologique ? La réponse est donnée très simplement par Léon Brunschvicg dans l’un de ses ouvrages de jeunesse , datant de 1901, mais qui … Continue reading

Posted in Alain Badiou, category theory, Higher category theory, Higher topos theory, Léon Brunschvicg, Ontologie, Ouvert : dualité plan vital-plan spirituel, Philosophie, Physique, Plan vital-plan spirituel, Science, mathesis, Théorie des ensembles (set theory), Théorie des topoi (topos theory), topos physics | Tagged , , , , , , , ,

Burhanuddin Baki : Badiou’s Being and Event and the mathematics of set theory

Voici une revue de ce livre de Burhanuddin Beki : https://ndpr.nd.edu/news/59765-badiou-s-being-and-event-and-the-mathematics-of-set-theory/ qui rend de grands services aux personnes, plus nombreuses que l’on ne pense, qui ne sont pas seulement attirées par le côté “provocateur” du badiolisme ( en clair : … Continue reading

Posted in Alain Badiou, Anthroposophie, Christianisme, Descartes, Higher topos theory, Léon Brunschvicg, Ontologie, Ouvert : dualité plan vital-plan spirituel, Philosophie, Physique, Plan vital-plan spirituel, Platon, Religions, Spinoza, Théorie des ensembles (set theory), Théorie des topoi (topos theory), topos physics | Tagged , , , , , , , , , , ,

Théorie des ensembles et théorie des catégories et des topoi selon Alain Badiou

Ce texte de séminaire date de 1993/1994: http://www.entretemps.asso.fr/Badiou/93-94.3.htm On y saisit clairement la différence établie par Badiou entre la théorie axiomatique des ensembles , qui est selon lui ce que la philosophie appelle depuis Aristote “ontologie” (c’est là la thèse … Continue reading

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