Ich habe eine dieser populären Veröffentlichungen zur Theorie des kubischen Typs gelesen , aber kein Wunder, dass ich nur Formeln und Diagramme sehen konnte, ohne sie überhaupt erkennen zu können.
Also hier ist was ich will. Ich möchte eine hinreichende Erklärung dafür, was Zusammensetzung, Kan-Füllung und Kleben mit der Homotopietypentheorie zu tun haben. Ich erwarte nicht, dass es dafür ein ELI (Alter einfügen) geben könnte, sondern definiere stattdessen das Wort Dummy im Titel als jemanden, der ein grundlegendes Verständnis von HoTT und Kategorietheorie hat (vielleicht, aber nicht unbedingt optional).
6
Dan Licatas Vortrag über die kubische unendlichdimensionale Typentheorie ist wahrscheinlich eine gute intuitive Einführung mit einer angemessenen Menge an Typentheorie, vorausgesetzt, es handelt sich um einen Vortrag. (Licata ist definitiv im Typentheorie-Camp der HoTT-Community.)
—
Derek Elkins verließ SE am
Ich habe die ganze Sache gesehen. Es war ziemlich einfach, bis der Kan-Füllungsteil ... Es scheint, dass die Strategie in dem Papier (Definieren der Kan-Füllung in Bezug auf die Zusammensetzung) viel einfacher ist, oder? Und es scheint, dass die gesamte Technik des Klebens zum Zeitpunkt der Videoaufnahme noch nicht entwickelt wurde. Vielleicht konnte ich das Papier verstehen, nachdem ich es gesehen hatte.
—
6.