ステファネスクの"Netwrok Algebra"を注文した。これは、出版社からはもう出てなくて、ユーズドを（Amazonマーケットプレイス）thurmanbooksなる業者に注文。ロープライスといいながらも￥11,547。"Network Algebra"は考えた末だからいいのだが、ついでに衝…

うーん、人名は片仮名で書きたいのだが、、、発音がサッパリわからん。ビドォイト／ヘンニッカー／カーツかなぁ？？？まーとにかく、到達可能性（reachability）と観測可能性（observability）との双対性。到達可能でないものは存在しても指示（あるいは表記…

Idempotent Abelian MonoidをIAMと略記して、IAMの圏も同じくIAMと書く。IAMは最小元付きのjoin semi-latticeの圏と圏同値。だから、必要に応じて順序構造を入れられる。さて、圏Cに対して、自由なIAM-enriched圏を作る。それをD=IAM[C]と書くと： |D| = |C|…