Monthly Archives: October 2017

Trois cours de Gambino, Licata, Lumsdaine sur #HoTT

http://smc2014.univ-lyon1.fr/doku.php?id=week1 http://smc2014.univ-lyon1.fr/lib/exe/fetch.php?media=msc-hott1.pdf http://smc2014.univ-lyon1.fr/lib/exe/fetch.php?media=msc-hott3.pdf http://smc2014.univ-lyon1.fr/lib/exe/fetch.php?media=msc-hott4.pdf

Posted in homotopy type theory | Tagged , ,

#HoTT : Homotopy theory in type theory .. en vidéo

Exposé particulièrement clair qui a fait l’objet de cet article: https://anthroposophiephilosophieetscience.wordpress.com/2017/10/30/hott-homotopy-theory-in-type-theory-pour-une-comprehension-claire-de-la-theorie-homotopique-des-types/ La vidéo est ici :

Posted in Homotopy, homotopy type theory

Les deux natures ténébreuse et lumineuse de l’Occident

Ce que l’on appelle aujourd’hui « Occident » prend son origine dans l’Antiquité romaine et athénienne . C’est avec l’occupation Romaine, la naissance de Jésus puis les deux mises à sac de Jérusalem que le peuple juif se scinde en deux parties … Continue reading

Posted in Bible, Coran, Crise migratoire, Descartes, Europe, Islam, Israel, Léon Brunschvicg, Ouvert : dualité plan vital-plan spirituel, Philosophie

#HoTT Homotopy theory in type theory : pour une compréhension claire de la théorie homotopique des types

J’ai déjà signalé ce lien hier : http://dlicata.web.wesleyan.edu/pubs/bll13homotopy/bll13homotopy.pdf Je voudrais faire remarquer brièvement combien il favorise l’intelligence de ce qu’est vraiment HoTT, à savoir l’introduction de l’homotopie dans la logique de la théorie des types, créée par Bertrand Russell pour … Continue reading

Posted in ∞-catégories, ∞-topoi, category theory, Higher category theory, Higher topos theory, Homotopy, homotopy type theory

Canonicity for 2-Dimensional Type Theory

Originally posted on Homotopy Type Theory:
A consequence of the univalence axiom is that isomorphic types are equivalent (propositionally equal), and therefore interchangable in any context (by the identity eliminaiton rule J). Type isomorphisms arise frequently in dependently typed programming,…

Posted in Philosophie

La musulmane féministe Henda Ayari accuse Tariq Ramadan de viol brutal

http://www.francetvinfo.fr/societe/harcelement-sexuel/pour-tariq-ramadan-soit-vous-etes-voilee-soit-vous-etes-violee-dit-son-accusatrice-henda-ayari_2443924.html Il ne faut pas confondre les hystériques haineuses , les Femen de Georges Soros, ou les Effrontées de Fatima Benomar, et les victimes réelles de vritables monstres.. comme par hasard la réponse est une déferlement de haine antisémite, accusant … Continue reading

Posted in Antisionisme-antisémitisme, Coran, Europe, Féminisme, Islam, Plan vital-plan spirituel, Religions

Roman Polanski : The ghostwriter (2010)

https://m.ok.ru/video/34724186687 parce qu’on n’a pas à interdire les poèmes de Baudelaire.. la manipulation policière féminazie haineuse et misandre se poursuit!

Posted in Cinéma, Europe, Féminisme, FRANCE 2017, France-bordel, Macrollande-dictature, Merde in France