Daily Archives: October 12, 2017

Le magicien d’Oz (1939)

C’est ici : https://m.ok.ru/video/208801303110 Je viens d’entendre cette chronique, à propos de l’affaire Weinstein: http://www.francetvinfo.fr/replay-radio/histoires-d-info/histoires-d-info-weinstein-l-heritier-d-une-longue-lignee-de-predateurs-sexuels-a-hollywood_2392316.html L’auteur du livre dont a été tiré le film, Frank Baum, était membre de la société théosophique : http://secretebase.free.fr/complots/organisations/societetheosophique/societetheosophique.htm où il y avait déjà le … Continue reading

Posted in Cinéma | Tagged , , , , , | Leave a comment

#Joyal #HoTT suivre les travaux de Karol Szupilo

Je me réfère à ce court article introductif de Joyal : http://logica.dmi.unisa.it/tacl/wp-content/uploads/abstracts/invited_paper_7.pdf et à son allusion à Karol Szupilo . Des travaux de ce dernier : http://eilenberg100.ptm.org.pl/sites/default/files/slides/Szumilo.pdf Cette dissertation : http://hss.ulb.uni-bonn.de/2014/3692/3692.pdf Cet article sur Arxiv de Kapulkin et Szupilo: https://arxiv.org/pdf/1709.09519.pffContinue reading

Posted in ∞-catégories, ∞-topoi, homotopy type theory | Tagged , , | Leave a comment

André Joyal #HoTT : category theory and homotopy type theory

J’ai déjà loué ici les qualités pédagogiques , la clarté des articles d’André Joyal , notamment la lumière qu’ils apportent , en provenance de la théorie de souche catégories, à propos de la théorie homotopique des types. Le lien suivant … Continue reading

Posted in ∞-catégories, ∞-cosmoi, homotopy type theory | Leave a comment

(∞,1)-category of types

https://golem.ph.utexas.edu/category/2011/04/homotopy_type_theory_v.html « Function extensionality is about The local cartesian closure of the (∞,1)-category of types »

Posted in ∞-catégories, homotopy type theory | Leave a comment