スパイダー計算の守備範囲

次は対象にしたい。

1. ペンローズ／カウフマンの図式テンソル計算
2. イエッターの圏ラベル付きタングルの計算
3. 何種類かのシーケント計算
4. 非可換多元環上のn方加群の計算

最後の加群の計算はスパンになるので、テンソル計算とはまったく別物かもしれない。統合できればうれしいけど。