一様性、酵素、模倣
ステファネスクは酵素(enzymatic)公理/規則を使っているが、これは他の概念と関係する。
- 酵素公理/規則
- 一様性原理(uniformity principle; Plotkin)
- (双)模倣 (bisimulation)
- 圏の振る舞い正規化(notion of behaviour)→Notion of Behaviour - 檜山正幸のキマイラ飼育記 メモ編
とりあえず、オートマトンの行列表現を詳しく調べてみよう。
それと→http://www.mathstat.dal.ca/~selinger/papers/catasynch.pdf
- author:Peter Selinger
- title: Categorical Structure of Asynchrony