ウェイトとは、有向グラフの有向辺に（非可換かもしれない）半環の値を対応させる割り当てで、ウェイト付きグラフとはすなわちリグラフ。道に関する計算を、足し算にするか掛け算にするかで加法的、乗法的と区別する。 連続 離散 dx/dt = ax Δx = ax ラグラ…

DFDは、TQFTの枠組みを採用する。のだが、TQFTもどうも変に思えるところがある。TQFT関手というのは、コボルディズムのモノイド圏からヒルベルト空間のモノイド圏（積はテンソル積）への関手。離散有限化すると、ベクトルと行列だからわかりやすい。が、境界…

TQFTのQは量子なんだが、僕は量子なんてよくわからんし、当面必要でもないような気がする。それで、Qを取り除いてTFTにしようかとふと思った。が、お尻のTheoryもなんか気にいらなくなった。やりたいことは力学（dynamics）なんだから、Topological Field Dy…

やっぱり早寝して早起きでゴニョゴニュすることにした。