Daily Archives: March 14, 2019

#HTTUF Benedikt Ahrens : univalent foundations and the equivalence principle

https://video.ias.edu/VoevodskyMemConf-2018/0912-BenediktAhrens À la fois la vidéo et le fichier pdf attaché, pour mieux suivre

Posted in EHTT, homotopy type theory

Categorical structures for Type theory in univalent foundations

https://hal.inria.fr/hal-01579271/document

Posted in category theory, EHTT, Higher category theory, homotopy type theory, Type theory

« Le grand sommeil » :livre (1939) et film (1946)

La dernière scène du film de Howard Hawks en 1946 est célèbre : Cela se passe dans la villa de Laverne Terrace :Philip Marlowe réussi à faire abattre le gangster Eddie Mars par ses propres hommes de main. Puis il … Continue reading

Posted in Cinéma, Littérature-Poésie