有向グラフであって、有向辺のソースとして“複数の頂点のリスト”を許す構造が複グラフ〈multigraph〉です。複グラフがあると、それからある種の多項式関手を定義できます。その多項式関手は、複グラフの頂点集合をインデキシング集合としてモノイド圏に値を…