Category Archives: category theory

André Joyal #HoTT : simplicial tribes

« Introduction to simplicial homotopy theory »: http://hopf.math.purdue.edu/Joyal-Tierney/JT-chap-01.pdf La définition des tribus simpliciales figure dans cette note : http://logica.dmi.unisa.it/tacl/wp-content/uploads/2014/08/Joyal-TACL2015.pdf « Category theory and HoTT » Page 38 : une tribu simpliciale est une catégorie enrichie sur les ensembles simpliciaux ayant en plus une structure … Continue reading

Posted in ∞-catégories, category theory, Higher category theory, Higher topos theory, homotopy type theory, Science-internelle | Leave a comment

#HoTT, théorie des catégories et des ensembles (ZFC)

Cet article « Univalent higher categories via complete semi-Segal types »: https://arxiv.org/pdf/1707.03693.pdf rappelle en Page 2 sur 31 que toutes les approches des catégories multidimensionnelles (higher categories) ont un point commun qui est d’utiliser les ensembles comme « building blocks » , exploitant ainsi … Continue reading

Posted in category theory, Homotopy, homotopy type theory, Science-internelle, Théorie des ensembles (set theory) | Leave a comment

Wronski : le caractère trine de l’Idée de Dieu

Nous observons dans ce qui est appelé un peu pompeusement par Wronski « trinomie génétique » le caractère trine de l’Idée de Dieu dans la science internelle, en oubliant les formules mathématiques que Wronski lui associe et qui reflétent la science de … Continue reading

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi, category theory, DIEU, Grothendieck, Higher category theory, Higher topos theory, Homotopy, homotopy type theory, Ouvert : dualité plan vital-plan spirituel, Philosophie, Philosophie mathématique, Science, mathesis, Science-internelle, Théorie des ensembles (set theory), Théorie des topoi (topos theory), Wronski, Wronski-Messianisme-séhélianisme-Science-internelle | Leave a comment

Antti Veilahti : Badiou’s mistake

https://arxiv.org/pdf/1301.1203.pdf Le péché de Badiou consiste selon cet article à ignorer la différence entre ce qu’il appelle « local topos theory » c’est à dire page 4 sur 54 « elementary topos theory » et les topos de Grothendieck, qui sont des faisceaux https://mathesisuniversalis.wordpress.com/2015/07/22/grothendiecktopos-4-faisceaux-sur-un-site-topos-de-grothendieck/Continue reading

Posted in Alain Badiou, category theory, Philosophie, Philosophie mathématique, Science-internelle, Théorie des ensembles (set theory), Théorie des topoi (topos theory) | Leave a comment

Beginner’s guide to forcing

http://www-math.mit.edu/~tchow/forcing.pdf

Posted in Alain Badiou, category theory, Philosophie, Philosophie mathématique, Science-internelle, Théorie des ensembles (set theory), Théorie des topoi (topos theory) | Leave a comment

Badioustudies : Set theory ontology and The philosophy of event

Set Theory Ontology and the Philosophy of the Event

Posted in Alain Badiou, category theory, Ontologie, Philosophie, Philosophie mathématique, Science-internelle, Théorie des ensembles (set theory), Théorie des topoi (topos theory) | Leave a comment

Arkady Plotnitsky : experimenting With ontologies with Badiou and Grothendieck

http://web.ics.purdue.edu/~plotnits/PDFs/ap%20exp%20with%20ontologies.pdf

Posted in Alain Badiou, category theory, Grothendieck, Philosophie, Philosophie mathématique, Science-internelle, Théorie des ensembles (set theory), Théorie des topoi (topos theory) | Leave a comment