Avatar
とても考えやすい「小さな圏」に半順序集合があります👍 a ≦ b のとき射 a → b があるということにします。
11:08 AM
半順序というのは、必ずしも全ての要素同士が比較可能でない順序のことを言います。例えば「集合の集合」は包含関係について半順序集合になります。あとは整数全体は「a が b を割り切る」という関係で半順序集合になります。 (edited)
11:10 AM
圏は有向グラフのようなものだと思うと想像しやすいと思います。頂点にあたるのが「対象」で、辺が「射」です。
11:14 AM
そうなんですよね! > Equatable (edited)