二重圏

次が構成しやすい例だろう：

1. 境界付きグラフの二重圏、セルは写像でも関係でもいい。
2. 両側半加群の圏、基底変換、indexed categoryなどの例にもなる。

これから調べる例：

• 古典テンソル計算の圏

2つの積、2つのトレースが入る。セルとしては変形（書き換え）アルゴリズムを考えればいいか。

現実的な例：

1. 遷移翻訳系の圏（次元は3）
2. TQFT、CGFT