ハイパー行列にしておくか、とりあえず

僕の好みの構造 -- 境界付き有向グラフに辺ラベリング（または重み付け）をしたもの、この構造には名前がない。ラベル（重み）の値を半環、さらには圏に拡張できて、次のような概念を包括する。

1. 半環係数の行列
2. オートマトン
3. (0+1)次元のTQFT

物理的には場、幾何学的には接続に対応するが、素朴な事例は行列だからハイパー行列と呼ぶことにした。

とりあえずだけど。