シーケンス圏→スパイダー圏

対称とは限らないモノイド圏Cから自然に厳密モノイド圏が出来て、それから多圏が作れるのだが、中間の厳密モノイド圏をシーケンス圏 Seq(C) と呼んでいた。

対象の構成法はシーケンスだが、射の構成法を見るとスパイダーなので、Cのスパイダー圏 Spid(C) としよう。ZX計算のスパイダー定理（the Spider theorem）とも呼び名が一致する。

スパイダー圏は、

1. 対象はもとの圏の対象のシーケンス＝ケーブル＝ワイヤーの束
2. 射はもとの圏の射のスパイダー

標準的な多圏は、Cのスパイダー圏とCのスワップ構造があれば、作れる。