Leí uno de esos artículos populares sobre la teoría de los tipos cúbicos, pero no es de extrañar que solo pudiera ver fórmulas y diagramas sin poder reconocerlos en absoluto.
Entonces esto es lo que quiero. Quiero una explicación lo suficientemente profunda de qué composición, relleno y pegado de Kan tienen que ver con la teoría del tipo de homotopía. No espero que pueda haber un ELI (edad de inserción) para él, sino que defino la palabra ficticia en el título como alguien que tiene una comprensión básica de HoTT y la teoría de categorías (tal vez, pero no necesariamente opcionalmente).
66
La charla de Dan Licata sobre la teoría de tipos cúbicos de dimensión infinita es probablemente una buena introducción intuitiva con una cantidad razonable de teoría de tipos dado que es una charla. (Licata definitivamente está en el campo de la teoría de tipos de la comunidad HoTT.)
—
Derek Elkins dejó SE
Lo vi todo. Fue bastante fácil hasta que el relleno de Kan parte ... Parece que la estrategia en el documento (definir el relleno de Kan en términos de composición) es mucho más simple, ¿o no? Y parece que toda la técnica de pegado no estaba desarrollada en el momento en que se grabó el video. Sin embargo, quizás podría entender el periódico después de verlo.
—
盛安安