Daily Archives: September 14, 2017

Posts de Mike Shulman sur n-category cafe

https://golem.ph.utexas.edu/category/shulman.html Incluent les précieux articles d’introduction à homotopy type theory I à Vi: https://golem.ph.utexas.edu/category/2011/03/homotopy_type_theory_i.html Etc… Advertisements

Posted in Philosophie | Tagged

Correspondance entre théorie des catégories et #HoTT : deux autres exposés

Un autre exposé de Joyal sur categorical #HoTT , différant sensiblement de celui déjà étudié: http://www.math.uwaterloo.ca/~asl2013/Slides/Joyal.pdf Un exposé de Michael Shulman sur les “categorical models ” de HoTT: https://home.sandiego.edu/~shulman/hottminicourse2012/03models.pdf revenant sur la notion de “display map”, aussi expliquée par Joyal … Continue reading

Posted in ∞-catégories, ∞-topoi, category theory, Higher category theory, Higher topos theory, homotopy type theory, Philosophie mathématique | Tagged ,

2001 odyssée de l’espace et “Premier contact”

https://fr.m.wikipedia.org/wiki/Premier_Contact_(film) J’ai fait ce commentaire immédiatement après avoir vu “Premier contact” en salle lors de sa sortie en 2016: https://anthroposophiephilosophieetscience.wordpress.com/2016/12/16/premier-contact-arrival-2016-excellent-et-important/ Or il existe des analogies avec “2001 odyssée de l’espace” , notamment à propos de l’ambiguïté lexicale entre “arme” et … Continue reading

Posted in Philosophie | Tagged , ,

2001 odyssée de l’espace : une “domination blanche” ?

Ces lignes sont extraites de l’analyse du film de Kubrick par le philoblogzophe: http://skildy.blog.lemonde.fr/2007/08/17/sur-quelques-plans-de-2001-lodyssee-de-lespace-s-kubrick/ “En 2001, c’est-à-dire en 2864 ou en 3001, le monde humain qui nous est montré par Kubrick est un monde blanc : aucun noir, aucun oriental … Continue reading

Posted in Bible, Christianisme, Cinéma, Europe, Religions, Science, mathesis, USA | Tagged ,