Daily Archives: September 30, 2019

#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

Posted in EHTT, Higher category theory, Higher topos theory, homotopy type theory, HTTUF, Science, mathesis, Science-internelle

Le lien entre les films superbes de la chaîne Vimeo : Eros

ces films peuvent être vus sur cette chaîne : https://anthroposophiephilosophieetscience.wordpress.com/2019/09/25/hi-ro-shi-ma-cest-ton-nom-cest-mon-nom-oui-et-ton-nom-a-toi-est-nevers-nevers-en-france/ J’ai déjà parlé de « Dernier tango à Paris » : https://anthroposophiephilosophieetscience.wordpress.com/2019/09/28/bernardo-bertolucci-le-dernier-tango-a-paris-1972/ Qui pourrait  être résumé comme montrant l’enfermement de deux êtres prisonniers  dans un appartement vide qui symbolise leur … Continue reading

Posted in Cinéma