ハビロさんの講演を聴く

• 有向3次元多様体とその境界への2次元円板の埋め込みの対を対象とし，円板の埋め込みと両立する埋め込みのisotopy類を射とする圏を E とする．

• ハンドル体とその境界への円板の埋め込みの対 V_n （ n ≥ 0 はハンドルの個数）を対象とする E の full 部分圏を H とする．

• 米田埋め込みを経由する関手 P : E → Set ^Eop → Set ^Hop を 量子基本群 という．

• face map d_i : V_{n - 1} → V_n ( 0 ≤ i ≤ n ) と degeneration map s_i : V_{n + 1} → V_n ( 0 ≤ i ≤ n ) をうまく定義して，関手 Δ → H が得られる．（絵を描かないと説明できないのが残念．）