マンダラ0は、Mandと書こう。いちいち0は要らないだろう、しばらくは0だからな。まずは、Aを入力仕様、Bを出力仕様、Pを内部仕様とする遷移変換系（トランスデューサ）の圏をMand(A, B; P)と書くことにする。Mand(A, B; P)は3項のホムセットの形をしているが…

ホイヘンスの原理には、1ステップ近傍だけを相手にする局所版と、始点から終境界までを問題にする大域版があると思った。どっちも重ねあわせの原理が成立することがガンモク。ところで、1ステップ近傍って概念が無音遷移のせいで不安定なのだ。この不安定性…