大域変数の参照をコモナドと考えると、大域変数への書き込みがこのコモナドのアイレンベルク／ムーアの意味での余代数となる。ということは、大域変数を読むだけのプログラムは余クライスリ圏に住んでいるので、余アイレンベルク／ムーア圏に埋め込めるから…

Yoneda（米田）は超有名だが、Morita（森田）も有名。moritableなんて概念を定義する人がいる。http://homepages.vub.ac.be/~jvercruy/EM.pdf : Defnition 3.5.1. Let T = (T ; (LA, RA); (LB, RB)) be an object in Adj(A, B). The pair (RA, RB) is said t…

higher-dimensional transition systemの関係論文を少し見ただけで、こう言うのはナンだが； 定義や定理がなんかイマイチで、役に立つ感じがしない。抽象論は大好きだが、CPU、メモリ、マシン（またはプロセス）などとの対応が鮮明じゃないと現実に適用しに…