#HoTT #HTTUF Homotopy type theory =#HigherToposTheory ?

 https://homotopytypetheory.org »Homotopy Type Theory refers to a new field of study relating Martin-Löf’s system of intensional, constructive type theory with abstract homotopy theory. … As the natural logic of homotopy, constructive type theory is also related to higher category theoryas … Continue reading #HoTT #HTTUF Homotopy type theory =#HigherToposTheory ?

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