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).
Respuestas:
Un año después y yo mismo escribo uno .
fuente