Daily Archives: September 16, 2017

Homotopy equivalences are equivalences: take 3

Originally posted on Homotopy Type Theory:
A basic fact in homotopy type theory is that homotopy equivalences are (coherent) equivalences. This is important because on the one hand, homotopy equivalences are the “correct” sort of equivalence, but on the other…

Posted in ∞-catégories, homotopy type theory

#HoTT : The Book : 1.4 dependent function types (Π-types)

Les éléments d’un Π-type sont des fonctions dont le codomaine (la cible) qui est un type varie avec l’élément du domaine A (un autre type) auquel la fonction s’applique; ce sont des fonctions dirigées de À vers l’univers U dont … Continue reading

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

Wim Wenders : Paris , Texas (1984, vf)

Visible ici : https://m.ok.ru/video/270654966342 L’acteur Hatty Dean Stanton est mort: http://www.leparisien.fr/culture-loisirs/cinema/mort-de-l-acteur-harry-dean-stanton-heros-de-paris-texas-16-09-2017-7264917.php https://fr.m.wikipedia.org/wiki/Paris,_Texas ce que “fuit” Travis en marchant seul dans le désert, c’est le plan vital, plan de la génération , de son propre engendrement dans la ville de Paris … Continue reading

Posted in Cinéma