ダミーのキュービカル型理論？

キュービカル型理論に関するこれらの人気のある論文の1つを読みましたが、まったく認識できずに数式と図しか表示できなかったのも不思議ではありません。

だからここに私が欲しいものがあります。カンの充填と接着がホモトピー型理論とどのように関係しているのか、十分に深く説明してほしい。ELI （年齢を挿入）があるとは思いませんが、代わりにタイトルでダミーの単語をHoTTとカテゴリー理論の基本的な理解を持っている人として定義します（おそらく、必ずしも必要ではありませんが）。

一年後、私は書いている1に自分自身を。