(o, ≤)が順序集合のとき、これを次のような圏 "c"oと同一視することができる:obj("c"o)＝oとし、"p", "q" ∈ o＝obj("c"o)について "p" ≤ "q" のとき、およびそのときに限り "p" から "q" への射がただ1つ存在する、として "c"oにおける射を定める。