とても考えやすい「小さな圏」に半順序集合があります

a ≦ b のとき射 a → b があるということにします。

11:08 AM

半順序というのは、必ずしも全ての要素同士が比較可能でない順序のことを言います。例えば「集合の集合」は包含関係について半順序集合になります。あとは整数全体は「a が b を割り切る」という関係で半順序集合になります。 (edited)

11:10 AM

圏は有向グラフのようなものだと思うと想像しやすいと思います。頂点にあたるのが「対象」で、辺が「射」です。

11:14 AM

そうなんですよね！ > Equatable (edited)