Daily Archives: September 9, 2018

John Boorman : Délivrance vf (1972)

https://m.ok.ru/video/199878314582 C’était l’époque , il y a près de 50 ans, où l’on commençait à parler des problèmes environnementaux, mais pas sur le ton d’affolement collectif que l’on connaît maintenant. Quatre amis descendent une rivière sauvage de Géorgie, qui va … Continue reading

Posted in Cinéma

Nicola Gambino : cours IV univalent foundations

Venant à la suite de : https://hottandphilosophy.wordpress.com/2018/09/07/nicola-gambino-cours-iii-homotopical-models-of-type-theory/ Le cours IV est ici : http://www1.maths.leeds.ac.uk/~pmtng/Slides/HoTT-Lecture4.pdf La page 5 sur 23 aborde les types dits contractibles , à partir de la formule pour un nouveau type formé à partir du type A … Continue reading

Posted in ∞-catégories, category theory, Higher category theory, Homotopy, homotopy type theory, Science, mathesis, Science-internelle