どうも、双模倣というのはある種のホモトピー同値（ないしはコボルディズム／コボルダント）のような気がしてきた。AとBが（ラベル付き）遷移系だとして、|A|、|B|を状態空間とする。関係R⊆|A|×|B|があると、Rの関係柱A∪RBを、写像柱と同じように構成できる…

信号構造と運動シート “時間の空間”の圏 時間と走行 状態遷移とは、時間たしあげと空間たしあげ 因果性、自発性、法則性