Mを射圏、Oを対象圏とする二重圏を考える。D0, D1:M→Oが境界関手（dom, codのこと）、I:O→Mが持ち上げ関手（idのこと）だとする。M[D0,O,D1]M = M[O]Mは、圏のファイバー積（バンドル積）を表す便宜的な記号。＊:M[O]M→Mが二重圏のスター結合（スター積、セ…

次が構成しやすい例だろう： 境界付きグラフの二重圏、セルは写像でも関係でもいい。 両側半加群の圏、基底変換、indexed categoryなどの例にもなる。 これから調べる例： 古典テンソル計算の圏 2つの積、2つのトレースが入る。セルとしては変形（書き換え）…