任意の半順序集合(P,≤)は圏として解釈できる：対象はPの元であり、xからyへのただ1つの射が存在することとx≤yが同値である。
任意偏序集合(P,≤)可看作一个范畴：P的元素为对象，x到y存在一个态射当且仅当x≤y。