C を圏とする。
I をグラフ(過去スレpart2の809)とし
F：I → C を図式(過去スレpart2の817)とする。
I が有限グラフ(>>7)のとき F を有限図式と言った(代数的整数論019の177)。