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

Répondre

Entrez vos coordonnées ci-dessous ou cliquez sur une icône pour vous connecter:

Logo WordPress.com

Vous commentez à l’aide de votre compte WordPress.com. Déconnexion /  Changer )

Photo Google

Vous commentez à l’aide de votre compte Google. Déconnexion /  Changer )

Image Twitter

Vous commentez à l’aide de votre compte Twitter. Déconnexion /  Changer )

Photo Facebook

Vous commentez à l’aide de votre compte Facebook. Déconnexion /  Changer )

Connexion à %s