2016-10-20 二部カローラ、スパイダー TQFT お絵描き 言葉 ストリング図(ストリンググラフ)で、ノードがただ1つのものをカローラ(corolla)と呼ぶ。辺の数をnとしてn-カローラとも言う。0-カローラは孤立した単一ノードだけの図。1-カローラは辺の向きにより二種類ある。辺が2部に分けられているカローラを二部カローラ(bipartite corolla)と呼ぶ。これはスパイダーと同じ。二部のうちの一方が1本の辺を含むなら、その辺をマークすればいいのでマーク付きカローラとなる。二部カローラとマーク付きカローラは、多圏、複圏の多射、複射の図となる。