m-hiyama-memo https://blog.hatena.ne.jp/m-hiyama-memo/ (保存用) 檜山正幸のキマイラ飼育記 メモ編 https://m-hiyama-memo.hatenablog.jp/ リンク プログラム意味論 形式言語理論 高次圏論 どうも、双模倣というのはある種のホモトピー同値（ないしはコボルディズム／コボルダント）のような気がしてきた。AとBが（ラベル付き）遷移系だとして、|A|、|B|を状態空間とする。関係R⊆|A|×|B|があると、Rの関係柱A∪RBを、写像柱と同じように構成できる。柱を構成する縦線（仮に柱線とか茎線とでも呼ぼう）をグラフの辺とする。柱線に無音記号（沈黙記号、時間推進、タイムフィラー）を割り当てて、新しい遷移系を作れる。問題は、直積遷移系A×Bの部分系Cを作って、「双模倣の運動対：Motion(A)×Motion(B) ≒ Motion(C)：Motion(A×B)」としたい。「双模倣の運動対≒Di… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama-memo.hatenablog.jp%2Fentry%2F20070223%2F1172190951" title="高次遷移系とコボルディズム／ホモトピー - (保存用) 檜山正幸のキマイラ飼育記 メモ編" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2007-02-23 09:35:51 rich https://m-hiyama-memo.hatenablog.jp/entry/20070223/1172190951 1.0 100%