例えば "i" が有向グラフ • → • の与える圏のとき、"ci" は "c" のすべての射を対象とし、"ci" における二つの対象 φ : "u" → "v" と ψ: "x" → "y" の間の射は "c" における射 "f": "u" → "x" および "g": "v" → "y" の対で「矩形可換」つまり ψ"f" ＝ "g"φ を満たすもので与えられる。