#HoTT The Book : chapitre 1 , types vs sets

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

Le livre, écrit par les meilleurs spécialistes de cette nouvelle discipline, peut être acheté ou téléchargé gratuitement ici:

The HoTT Book

Il vaut mieux apprendre HoTT dans ce livre que lire, comme je le fais, des articles sur Arxiv ou ailleurs, à part les conférences d’André Joyal où Steve Awodey ou Mike Shulman, qui montrent un grand souci pédagogique, les articles que je rebloggue du blog « Homotopy type theory » contiennent souvent les références de tels travaux d’ailleurs.

Cet article vient après celui ci :

https://anthroposophiephilosophieetscience.wordpress.com/2017/08/13/hott-book-introduction/

Donc nous commençons par le paragraphe 1.1 du chapitre 1 « type theory versus Set theory ». Les types peuvent être vus, comme on l’a déjà appris chez Joyal, de deux facons : comme des collections, des sortes d’ensemble dont les éléments sont les « termes » , ou comme des propositions. C’est la thèse des « propositions as types » dans HoTT.Ceci vient du contraste entre les deux théories :…

View original post 412 mots de plus

Publicités