やっぱり読み書き機械だけでもいいのかもな。んんと、こういうことか。集合Xと非負整数nが与えられると、指標Σ(X, n)が作れる。 read(i):s→X (i = 0, ..., n-1) write(i, x):s→s (i = 0, ..., n-1、x∈X) ここで自由なソート記号sに集合を対応させ、オペレー…

http://citeseer.ist.psu.edu/jacobs02coalgebras.html

昨日、読み書き機械という概念を導入したが、集合（つうか圏の対象）Xに対してX-オートマトンという概念／用語のほうがいいと思い直した。(S, X, O, A)がX-オートマトン（背景の圏はSet）だとは、 Sは状態の集合 Xは観測値の集合 Oは観測子（属性）の集合、f…