Monthly Archives: February 2018

Karol Szumilo : co fibration categories and quasicategories

http://eilenberg100.ptm.org.pl/sites/default/files/slides/Szumilo.pdf

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

Une interprétation du générique de « La mort aux trousses » d’Hitchcock (1959)

Le film est ici en vf : https://m.ok.ru/video/41328904823 La fascination durable exercée par ce chef d’oeuvre Est largement dûe à la musique de Bernard Herrmann qui a aussi composé celle de « Psychose » un an plus tard, et celle de « Taxi … Continue reading

Posted in Cinéma

Paul Schrader : Mishima (1985) sous titres anglais

https://m.ok.ru/video/40250116767 https://fr.m.wikipedia.org/wiki/Yukio_Mishima Je me souviens très bien du suicide traditionnel (seppuku) de Mishima le 25 novembre 1970, après qu’il ait sans succès tenter d’entrainer l’armée à sa suite dans une sorte de « coup d’Etat ». Ce jour là j’ai pris conscience … Continue reading

Posted in Cinéma

James Ellroy : le Dahlia noir + le film de Brian de Palma(2006)

http://ekladata.com/eMRNFu76SRLXR5Gs1gYoZrNOWUs/Le-Dahlia-Noir.pdf Le film de Brian de Palma (2006) en vf https://m.ok.ru/video/201275673174 https://fr.m.wikipedia.org/wiki/Le_Dahlia_noir_(film) https://fr.m.wikipedia.org/wiki/Affaire_du_Dahlia_noir Le Dr George Hodel n’est plus le seul suspect sérieux de ce meurtre atroce, affaire datant de Janvier 1947 toujours non résolue https://meditationesdeprimaphilosophia.wordpress.com/2012/06/04/black-dahlia-los-angeles-les-anges/ Un film datant de … Continue reading

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

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