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

スパイダー計算 ＝ シーケント計算の絵算版 ですな。スパイダーは多圏または複圏の射だけど、一般の多圏／複圏を考えるのではなくて、ベースとなるモノイド圏Cの上でスパイダーを考える。マニンのファインマン図の用語法を使うなら、スパイダーはカローラに…