時間がないので短いメモ。集合Aに対して、Aを頂点とする完全有向グラフを圏とみなしたもの（自由圏じゃない）をK(A)とする。モノイド圏Vを次元を1持ち上げて2-圏とみなしたものを同じ記号Vで書く。A上のV豊饒圏は、Φ0 : |K(A)|→{*}, Φ1 : K(A)→|V|, Φ2 : Σ2(…