「Webのモデルとエルゴット圏」とかとも関係するのだが、もっと一般的な話。たいへんに曖昧だが、それでもたぶん使える、役に立つ。まず、コボルディズム圏とは何か？というとよく分からない。多様体とか（幾何的）複体の概念を使って(n, n+1)-コボルディズ…

ユースケース＝サブシステムなんだと思うが、これといってサブシステムの厳密な定義もないしね。とりあえず、システムはなんらかの状態遷移系だとする。状態遷移系はその遷移グラフで決まるから、ラベル付き有向グラフでシステムを表現することにする。ラベ…