Daily Archives: October 30, 2017

#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

Urs Schreiber : what is #HoTT good for ?

La situation est comparée à la bulle des valeurs technologiques au début des anñées 2000, par Urs Schreiber, un grand Savant très engagé justement dans HoTT, notamment autour des liens avec la physique: https://golem.ph.utexas.edu/category/2012/05/what_is_homotopy_type_theory_g.html

Posted in homotopy type theory | Tagged

#HoTT The Book : homotopy type theory permits « Logic of homotopy types »

https://www.ias.edu/ideas/2013/homotopy-type-theory

Posted in homotopy type theory