I をグラフ(過去スレpart2の809)とする。
Ob(I) および Hom(I) が有限集合のとき I を有限グラフと呼んだ(代数的整数論019の170)。