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 , , , , ,

#Joyal #HoTT suivre les travaux de Karol Szupilo

Je me réfère à ce court article introductif de Joyal : Click to access invited_paper_7.pdf et à son allusion à Karol Szupilo . Des travaux de ce dernier : Click to access Szumilo.pdf Cette dissertation : Click to access 3692.pdf … Continue reading

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

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

(∞,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