Tag Archives: David Spivak

Temporal type theory #TTT #HoTT

Click to access 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, … Continue reading

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 | Tagged , , ,