Daily Archives: February 21, 2018

Stanley Kubrick : « Killer’s kiss » (le baiser du tueur) 1955 vo

https://m.ok.ru/video/274761386659 C’est un film des premières années de Kubrick, mais un vrai film avec un vrai budget Pour « Fear and desire » en 1952 Kubrick avait obtenu un prêt de dix mille dollars de son oncle Martin Pervaler, ce qui n’a … Continue reading

Posted in Cinéma

Bertrand Toen : vers une axiomatisation de la théorie des catégories supérieures

https://hal.archives-ouvertes.fr/hal-00772983/document

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

#HoTT : locally cartesian closed categories (LCCC)

Le papier de Seely « Locally cartesian closed categories and Type theory » http://www.math.mcgill.ca/rags/LCCC/LCCC.pdf Cet article revient sur celui de Seely en prouvant une biequivalence de 2-catégories des LCCC et des MLTT (Martin Lof type theories) Une catégorie C est dite localement … Continue reading

Posted in category theory, homotopy type theory, Science, mathesis