Monthly Archives: July 2019

Chu Spaces

Tore Dahlen : topos- theoretical approach to quantum physics : introduction à la théorie des topoi

Autrement qu'être Mathesis uni∜ersalis Problema Universale Heidegger/Husserl être/conscience : plan vital-ontologique vs plan spirituel d'immanence CLAVIS UNIVERSALIS HENOSOPHIA PANSOPHIA ενοσοφια μαθεσις

Je poursuis l’étude de ce travail fascinant qui est aussi lisible , avec un accès plus aisé, ici :

https://www.semanticscholar.org/paper/The-Topos-theoretical-Approach-to-Quantum-Physics-Dahlen/be32afc0e628fc3d734840089c5a7b8a21d754a6

Au chapitre 2 page 44 des rappels de théorie des catégories et des topoi sont donnés;

il y a traditionnellement deux approches de l’idée de topos :

– celle, axiomatique, de topos élémétaire :

https://ncatlab.org/nlab/show/topos

https://ncatlab.org/toddtrimble/published/An+elementary+approach+to+elementary+topos+theory

Un topos y est défini comme une catégorie  munie de toutes les limites finies, ayant des objets puissance pour chaque objet , un classificateur de sous-objets, l’exponentiation. En gros, c’est une catégorie qui ressemble à la catégorie Set, ou Ens, des ensembles

– celle, équivalente mais précédant historiquement , de topos de Grothendieck

https://ncatlab.org/nlab/show/Grothendieck+topos

généralisant l’idée de catégories de faisceaux en direction de la catégorie Set .

J’avais dans le temps étudié le cours d’Olivia Caramello sur les topoi de Grothendieck comme ponts unifiants pour toute la mathématique :

https://sites.google.com/site/logiquecategorique/cours/topos_caramello/cours-du-14-janvier-2013-rappels-sur-les-topos-de-grothendieck#TOC-Faisceaux-sur-un-espace-topologique

Mes articles sont sous…

View original post 399 more words