Category Archives: Théorie des ensembles (set theory)

Alexandre Grothendieck , magicien des foncteurs

http://www.cnrs.fr/insmi/IMG/pdf/Alexandre-Grothendieck.pdf Le « yoga des foncteurs » c’est la force-de-pensée unificatrice (yoga = union en sanskrit ) de Grothendieck : Henosophia TOPOSOPHIA μαθεσις uni√ersalis τοποσοφια MATHESIS οντοποσοφια ενοσοφια , champ d’études philosophico-mathématiques poursuivi de nos jours par Olivia Caramello https://anthroposophiephilosophieetscience.wordpress.com/2018/03/12/la-vision-de-lunite-des-mathematiques-de-grothendieck-au-dela-de-celle-de-lautman/ https://anthroposophiephilosophieetscience.wordpress.com/2018/03/12/olivia-caramello-introduction-a-son-livre-theories-sites-toposes/ http://la-non-philosophie.blogspot.fr/2013/07/les-trois-theoremes-de-la-force-de.htmlContinue reading

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi, category theory, Cochet-Brunschvicg, DIEU, Grothendieck, Higher category theory, Higher topos theory, Homotopy, homotopy type theory, Laruelle, non-philosophie, Ouvert : dualité plan vital-plan spirituel, Philosophie, Philosophie mathématique, Plan vital-plan spirituel, Science, mathesis, Science-internelle, Théorie des ensembles (set theory), Théorie des topoi (topos theory)

La vision de l’unité des mathématiques de Grothendieck au delà de celle de Lautman

https://www.erudit.org/fr/revues/philoso/2010-v37-n1-philoso3706/039718ar/ « la contribution de Lautman s’avère fort singulière et originale en ce qu’il avance une unité métaphysique. La proposition de Lautman est d’autant plus singulière que la problématique y est campée à l’aide de paires de concepts antithétiques qui sont … Continue reading

Posted in ∞-topoi, category theory, Cochet-Brunschvicg, Grothendieck, Higher category theory, Higher topos 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)

#HoTT sets, simplicial sets, types, categories

Une introduction claire à la théorie homotopique des types : https://www.groundai.com/project/constructive-set-theory-from-a-weak-tarski-universe/ Sa page Arxiv : https://arxiv.org/abs/1411.5591v1

Posted in category theory, Higher category theory, homotopy type theory, Théorie des ensembles (set theory)

Bell : types, sets and categories

http://publish.uwo.ca/~jbell/types.pdf

Posted in category theory, Higher category theory, homotopy type theory, Science-internelle, Théorie des ensembles (set theory)

#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)

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

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)