J'ai lu un de ces articles populaires sur la théorie des types cubiques, mais pas étonnant que je ne puisse voir que des formules et des diagrammes sans être en mesure de les reconnaître du tout.
Voici donc ce que je veux. Je veux une explication assez approfondie de la composition, du remplissage Kan et du collage de la théorie des types d'homotopie. Je ne m'attends pas à ce qu'il puisse y avoir un ELI (insérer l'âge) , mais définissez plutôt le mot factice dans le titre comme quelqu'un ayant une compréhension de base de HoTT et de la théorie des catégories (peut-être, mais pas nécessairement en option).
6
Le discours de Dan Licata sur la théorie des types cubiques de dimension infinie est probablement une bonne introduction intuitive avec une quantité raisonnable de théorie des types étant donné qu'il s'agit d'un discours. (Licata fait définitivement partie du camp de théorie des types de la communauté HoTT.)
—
Derek Elkins a quitté le SE
J'ai regardé le tout. C'était assez facile jusqu'à la partie de remplissage Kan ... Il semble que la stratégie dans le papier (définissant le remplissage Kan en termes de composition) soit beaucoup plus simple, ou est-ce? Et il semble que toute la technique du collage n'ait pas été développée au moment de l'enregistrement de la vidéo. Peut-être pourrais-je comprendre le journal après l'avoir vu.
—
盛安安