スパイダー

僕は、多圏の射、または多箙の生成辺をスパイダーと呼んでいるが、スパイダーの前例がある。

ボブ・クックのスパイダーは、https://arxiv.org/pdf/1004.1598.pdf の6pに定義がある。それと、https://graphicallinearalgebra.net/tag/spider-theorem/ も良い。

クパーバーグ（Greg Kuperberg）のスパイダーは、https://arxiv.org/pdf/1103.3519.pdf とかに書いてある。p.6にはスパイダーの分かりやすい(?)説明図（figure3）がある。

"TURAEV-VIRO INVARIANTS AS AN EXTENDED TQFT" https://arxiv.org/pdf/1004.1533v3.pdf のp.3でスパイダー状の絵をクーポンと言っているが、何でだか不明。

[追記]クパーバーグのスパイダーについては：

• https://arxiv.org/abs/q-alg/9712003

[/追記]