Archives mensuelles : juin 2017
Axiomatic cohesion in HOTT
J’ai déjà parlé de cet article de blog, qui fait le lien entre les travaux de Lawvere sur « axiomatic cohesion « et l’homotopy type theory, à laquelle est associée de manière solidela théorie des ∞-catégories et ∞-topoi:
La correspondance est étudiée par le biais de la notion de langage interne qui est bien connue pour ce qui est des topoi ordinaires sous le nom de « langage de Mitchell-Benabou » et associée à la théorie extensinnelle des types :
https://ncatlab.org/nlab/show/extensional+type+theory
qui est une des « versions » ou « variantes » de la théorie des types de Martin-Lof, nouvelle fondation des mathématiques:
https://en.m.wikipedia.org/wiki/Intuitionistic_type_theory
https://ncatlab.org/nlab/show/Mitchell-Bénabou+language
language interne où les objets d’un topos s’identifient aux types.
Les chercheurs de pointe dans le domaine de HoTT , comme Mike Schulman rédacteur de l’article, pensent que certains des (∞,1)-topoi de Lurie peuvent être identifiés aux topoi cohésifs de Schreiber, eux mêmes généralisation aux (∞,1)-topoi , qui unifiés « tous…
Voir l’article original 174 mots de plus
HItchcock au début des années 60: « La mort aux trousses » et « Psychose »
« North by Northwest » est de 1959 , « Psychose » de 1960 , j’ai donné les liens pour ces deux films depuis longtemps ici et notamment dans le dernier article à propos du film de 2012 sur HItchcock :
qui s’appuie sur ces deux films et ce moment de la carrière de Hitchcock dont on lira un intéressant résumé (très documenté) ici :
https://fr.m.wikipedia.org/wiki/Alfred_Hitchcock
Je pense aussi que ce moment de sa carrière (le tournant des années 60) et ces deux films , sont les plus révélateurs sur le réalisateur (quoiqu’on pourrait et même devrait s’intéresser encore plus aux années 42-43, où il a fui le confort matériel et le sécurité que lui garantissaient les USA pour s’engager, lui et sa notoriété déjà importante, dans le conflit de la Deuxième guerre mondiale)
L’une des remarques les plus intéressantes de la page Wikipédia est que Hitchcock a permis…
Voir l’article original 449 mots de plus
Les clandestins bloquent l’A16 : Un mort
Les colons musulmans ont tué un de nos frères de race
Le maire de #Londres fait péter le trouillometre : les camions deviennent fous!!!
#Londres : la guerre civile européenne vient d’éclater
Georg Stefan Troller : scénarios de « Welcome in Vienna »
Axel Corti : Welcome in Vienna 3 (1986 vostfr)
On peut voir ce film magnifique ici , avec sous titres français (choisir Openload en bas de l’écran):
http://www.papstream.com/films/welcome-in-vienna-partie-3-welcome-in-vienna.html
C’est la troisième et dernière partie de la trilogie , aussi titrée « Welcome in Vienna »
1 Dieu ne croit plus en nous
2 Santa Fe
3 Welcome in Vienna
Sur la trilogie :
https://fr.m.wikipedia.org/wiki/Welcome_in_Vienna
Sur la partie 3 :
https://fr.m.wikipedia.org/wiki/Welcome_in_Vienna:_Welcome_in_Vienna
Il est regrettable que ces trois films , sortis il y a un peu plus de trente ans, soient un peu méconnus (quoique cela puisse s’expliquer, comme on va le voir)
Ils permettent, le dernier surtout, de comprendre le destin funeste de l’Europe et donc du monde , depuis 1945; l’intrigue peut s’interpréter, philosophiquement, comme le combat sans merci de l’idéalisme qui est celui de Freddy Wolff , contre le réalisme cynique qui est celui de tous les autres, (américains , ou autrichiens, juifs, anciens nazis, communistes ou autres) qui veulent…
Voir l’article original 689 mots de plus
HENOSOPHIA τοποσοφια μαθεσις υνι√ερσαλις οντοποσοφια 
Vous devez être connecté pour poster un commentaire.