Help with #HoTT

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

C’est ici :

https://math.stackexchange.com/questions/522239/where-to-get-help-with-homotopy-type-theory

A noter le cours d’Awodey sur les catégories :

Ainsi que cette conférence d’Awodey sur Mac Lane (fondateur avec Eilenberg de la théorie des catégories en 1945, ou 1942) et Rudolf Carnap :

Steve Awodey est un grand catégoricien dont les travaux ont permis l’émergence de la théorie homotopique des types, vers 2006-2007 parait il , d’ ailleurs voici un exposé de lui sur HoTT:

Et ce cours sur la théorie homotopique des types:

http://www.cs.cmu.edu/~rwh/courses/hott/

Je fais dans ce blog une lecture lente du livre sur HoTT:

The HoTT Book

tellement lente que j’en suis encore au chapitre 1… j’y insiste beaucoup sur les liens avec la théorie des catégories, des ∞-catégories et des ∞-groupoides

View original post

Publicités