「冗長有向グラフ、ε同型、グリッド積、離散コボルディズム」で冗長有向グラフという言葉を出したが、これは言葉が良くないね。ステップ空間と呼ぶことにする。Aを集合として、A上のステップ構造は、S0⊆A×A、S1⊆A×A の2つの関係で定義される。(A, S0, S1) が…