Wim Wenders : Paris , Texas (1984, vf)

Autrement qu'être Mathesis uni∜ersalis Problema Universale Heidegger/Husserl être/conscience : plan vital-ontologique vs plan spirituel d'immanence CLAVIS UNIVERSALIS HENOSOPHIA PANSOPHIA ενοσοφια μαθεσις

Visible ici :

https://m.ok.ru/video/270654966342

L’acteur Hatty Dean Stanton est mort:

http://www.leparisien.fr/culture-loisirs/cinema/mort-de-l-acteur-harry-dean-stanton-heros-de-paris-texas-16-09-2017-7264917.php

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”.

View original post

Advertisements

#HoTT The Book : chapitre 1 function types

Autrement qu'être Mathesis uni∜ersalis Problema Universale Heidegger/Husserl être/conscience : plan vital-ontologique vs plan spirituel d'immanence CLAVIS UNIVERSALIS HENOSOPHIA PANSOPHIA ενοσοφια μαθεσις

The HoTT Book

É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.

Univers et familles de types

On introduit des types appelés “Univers” U dont les types sont éléments. Mais l’on…

View original post 176 more words

Awodey : cubical #HoTT 1

Autrement qu'être Mathesis uni∜ersalis Problema Universale Heidegger/Husserl être/conscience : plan vital-ontologique vs plan spirituel d'immanence CLAVIS UNIVERSALIS HENOSOPHIA PANSOPHIA ενοσοφια μαθεσις

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