フェンス付きシーケント／スパイダー計算

スパイダー計算をマジメにやったほうがいいなと思うのは、「例外＆環境付き計算」の計算の道具にフェンス付きシーケント計算というのを思いついたが、これはフェンス付きスパイダー計算のほうが分かりやすそうだからだ。

入力ワイヤー群と出力ワイヤー群は1次元に並んでいて、その並びにフェンスと呼ぶ仕切りがある。この仕切の位置が重要な意味をもつ。フェンスの移動によるワイヤー配置換えが、インデックス付き圏では、ファイバー圏を（水平方向に）移動することになる。