Visible ici :
https://m.ok.ru/video/270654966342
L’acteur Hatty Dean Stanton est mort:
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 située au Texas, et de l’engendrement de son fils Hunter. Mais il devra de nouveau faire face à ce “monde” des vivants, où l’on utilise et manipule les autres en prétendant les “aimer”.
Étant donné les types A et B on peut construire le type:
A ? B
des fonctions ( “function”, “map”) de A à B. A la différence de la théorie des ensembles, c’est un concept primitif , et non pas dérivé comme relation fonctionnelle
( une fonction est un sous-ensemble de A × P(B))
Mais l’on a affaire à un type, celui des fonctions de A à B , alors que dans la théorie des catégories c’est un morphisme de A à B,une autre entité que les objets, un 1-morphisme et non un 0-morphisme: ainsi la théorie des catégories garde le souvenir de la dualité principielle, celle de l’Ouvert, tandis que HoTT “écrase ” cette dualité en un monisme, ou une non-dualité, des objets de base, les types.
On introduit des types appelés “Univers” U dont les types sont éléments. Mais l’on…
View original post 176 more words
http://www.helsinki.fi/lc2015/materials/slides_awodey.pdf
Il n’est pas question ici de se lancer dans les arcanes des “cubical sets” et des recherches récentes sur la “cubical HoTT”, à la fin de cette note, mais de comparer les pages du début à celles du travail d’André Joyal , inspiré de la théorie des catégories, dans l’article précédent.
Ainsi la Page 4 sur 53 chez Awodey explique les entités de base, les types et leur éléments les termes , elle est à comparer à la Page 15 du travail de Joyal , mais la notion de “dependent types ” est plus claire, je trouve, chez Joyal, de même d’ailleurs que les notions de types et de termes: ce sont des objets de catégories qui sont des tribus. Et un “dependent type” est un objet d’une catégories appelée “tribu locale” , définie page 17 sur 81 chez Joyal.
La Page 5 sur 53 de l’article d’Awodey explique…
View original post 450 more words
