Archives pour la catégorie HoTT

Emily Riehl, Mike Shulman : a type theory for synthetic ∞-categories

Un article crucial, écrit par deux des plus grands chercheurs dans le domaine de HoTT et des ∞-catégories, sur l’étroite association des deux domaines:

https://arxiv.org/abs/1705.07442

La présentation de cet article par Emily Riehl sur n-category-cafe :

https://golem.ph.utexas.edu/category/2017/05/a_type_theory_for_synthetic_ca.html

Sous forme de notes de conférences, plus facile à lire:

http://www.mat.uc.pt/~ct2017/slides/riehl_e.pdf

Il y a aussi les travaux d’André Joyal sur les tribus et clans, à propos du lien entre théorie des catégories et HoTT :

https://anthroposophiephilosophieetscience.wordpress.com/2017/10/20/hott-le-cours-dandre-joyal-en-cinq-parties-sur-les-tribus/

Étant donné que nous partons de la théorie des catégories et ∞-catégories comme cadre mathématique pour le plan internel et la pensée hénologique, pensée-selon- l’Un et que nous n’enfourchons HoTT que parce qu’il s’agit du cheval le plus dynamique en maths depuis une dizaine d’années, c’est par excellence le sujet adéquat à nos préoccupations

Publicités