>>222
203では無いんだけど、

＞一般の圏は preordered set の自然な拡張になっている。
これってどういう意味で自然だと言えるの？