Tag Archives: Alain Badiou

Sets, categories and topoi : approaches to ontology in Badiou’s later work

Sets, Categories and Topoi: approaches to ontology in Badiou’s later work Advertisements

Posted in Alain Badiou, category theory, Philosophie, Théorie des topoi (topos theory) | Tagged | Leave a comment

L’événement dans la philosophie de Léon Brunschvicg : entre fatalisme et histoire

Rester conscient de cet avertissement en note 1: “1 Il faut préciser que cette expression de philosophie de l’événement ne vient pas de Brunschvicg, mais de nous. Elle vise à unifier les projets des différents penseurs mentionnés ci-dessus. En vérité, … Continue reading

Posted in Alain Badiou, Léon Brunschvicg, Philosophie, Philosophie mathématique | Tagged , ,

Tout, tout de suite…

” Nous voulons tout, tout de suite” était le slogan d’un journal appelé “Tout” en 1970. C’était les années après Mai 1968. “Tout, tout de suite” est le titre du livre de Morgan Sportes sur l’affaire “Ilan Halimi”, et du … Continue reading

Posted in Antisionisme-antisémitisme, FRANCE 2017, France-bordel, Philosophie | Tagged , , , , ,

#HoTT : théorie homotopique des types une révolution des mathématiques ?

Lorsque j’ai créé ce blog, il n’y a pas si longtemps de cela, je ne connaissais même pas ce nom : HoTT = homotopy type theory = théorie homotopique des types, encore moins en quoi consistait cette “nouvelle fondation” des … Continue reading

Posted in Alain Badiou, ∞-catégories, ∞-cosmoi, ∞-topoi, category theory, Grothendieck, Higher category theory, Higher topos theory, Homotopy, homotopy type theory, Léon Brunschvicg, Philosophie, Philosophie mathématique, Science, mathesis, Science-internelle | Tagged , , ,

Non réciprocité de l’être et de l’un

Dans le numéro 3 du séminaire d’Alin Badiou : “Heidegger : l’être -figure du retrait” on peut lire, Page 186-187′ séance du 7 avril 1987: “Il y a chez Platon un congédiement du couple Un/multiplia comme significatif de la pensée … Continue reading

Posted in Alain Badiou, category theory, Cochet-Brunschvicg, Heidegger, Higher category theory, Higher topos theory, Léon Brunschvicg, Ontologie, Ouvert : dualité plan vital-plan spirituel, Philosophie, Philosophie mathématique, Platon, Science-internelle, Théorie des ensembles (set theory), Théorie des topoi (topos theory) | Tagged , , ,

#HoTT : a synthetic approach to higher equalities ( Michael Shulman)

Cet article consacré au rôle de HoTT dans le fondement des mathématiques , est de nature plus philosophique que technique: http://home.sandiego.edu/~shulman/papers/synhott.pdf L’introduction commence avec les différences et les analogies entre ensembles ( sets) et types, qui sont les entités à … Continue reading

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

Axiomatic cohesion in HOTT

J’ai déjà parlé de cet article de blog, qui fait le lien entre les travaux de Lawvere sur “axiomatic cohesion “et l’homotopy type theory, à laquelle est associée de manière solidela théorie des ∞-catégories et ∞-topoi: Axiomatic cohesion in HoTT La … Continue reading

Posted in ∞-catégories, ∞-topoi, category theory, Higher category theory, Higher topos theory, homotopy type theory, Science, mathesis, Théorie des ensembles (set theory), Théorie des topoi (topos theory), Wronski, Wronski-Messianisme-séhélianisme-Science-internelle | Tagged , , , , , , , ,