それにしても、一般の圏はpreordered setの「自然な（厳密でない方の意味で）」拡張ではないだろう。
hom集合の濃度を増やせば一般の圏になるなんていうのは、合成関係を無視した不自然な（というか不可能な）見方だと思う