Temporal type theory #TTT #HoTT

https://arxiv.org/pdf/1710.10258.pdf

Une nouvelle avancée de HoTT, dans la ligne de la théorie des t-topos de Goro Kato

http://digitalcommons.calpoly.edu/cgi/viewcontent.cgi?article=1099&context=math_fac

J’indique juste le lien, il est clair que toute cette masse de travaux réclame un énorme travail de suivi, ce n’est qu’à cette condition qu’une Science internelle pourra véritablement voir le jour.

C’est comme une lutte de vitesse entre ceux qui veulent détruire l’Europe , au moyen du « Dieu des guerres de religions » , qui n’est pas équivalent au Dieu- Idée , ou Dieu des philosophes et des Savants , et ceux qui veulent la remettre debout, car l’identité de l’Europe, comme j’ai eu l’occasion de le montrer c’est la Science, et non la technoscience, qui est le rêve des tenants du « Deus artifex »

Une conférence à propos (en partie) du topos B chez Schulz-Spivak (dans TTT)

http://therisingsea.org/notes/talk-topoi.pdf

Une introduction à la théorie des topoi

http://www.fuw.edu.pl/~kostecki/ittt.pdf

Temporal Logic:

https://nforum.ncatlab.org/discussion/6773/adjoint-logic/

Des notes de Spivak et Schulz

http://math.ucr.edu/home/baez/ACT2017/ACT2017_spivak.pdf

Advertisements
This entry was posted in category theory, Higher category theory, Higher topos theory, homotopy type theory, Ouvert : dualité plan vital-plan spirituel, Philosophie, Philosophie mathématique, Physique, Quantum relativity, Science, mathesis, Science-internelle, Théorie des topoi (topos theory), topos physics and tagged , , , . Bookmark the permalink.