>>203

posetより基本的なのが preordered set（前順序集合）。
これは任意の Hom(X, Y) が高々一個の元からなる小さい圏として
特徴付けられる。
poset は preordered set でしかも同型射が恒等射しかない圏である。

一般の圏は preordered set の自然な拡張になっている。