定義
G をグラフ(>>325)とし、C を圏とする。
C における G 型の図式(>>368)全体を Diag(G, C) と書く。
Diag(G, C) = Hom(G, |C|) (>>367) である。