Archives quotidiennes :

Le pont entre #HoTT et théorie synthétique des ∞-catégories

Henosophia TOPOSOPHIA μαθεσις uni√ersalis τοποσοφια MATHESIS οντοποσοφια ενοσοφια Philosophie, théorie des catégories et théorie homotopique des types

Je fais référence ici à cet article récent

https://anthroposophiephilosophieetscience.wordpress.com/2018/04/01/towards-a-synthetic-theory-of-∞-categories-i/

À propos du projet de Riehl et Verity autour de la notion des ∞-cosmoi

Une note d’Emily Riehl et Mike Shulman établit le lien :

« A synthetic theory of ∞-categories in homotopy type theory »

L’article correspondant, bien plus étoffé:

https://mathesismessianisme.wordpress.com/2017/10/13/e-riehl-m-shulman-a-type-theory-for-synthetic-∞-categories/

et un article de blog d’Emily Riehl à propos de ce travail:

https://golem.ph.utexas.edu/category/2017/05/index.shtml

Voir l’article original

La dégradation-destruction de l’Idée de l’Un par les démons contemporains

Yoneda Lemma for simplicial spaces