ああ、射のEquatableですね。

4:45 AM

圏に寄って、射が等しいって条件は変わりますね。

4:47 AM

結合律ってのは等しいって条件が圏によっても違っても、(また射の合成が圏によって違っても)、 h ∘ (g ∘ f) = (h ∘ g) ∘ f になるように、圏を設定せよ、といったところでしょうかね。

4:48 AM

(まぁ、圏によって対象や、射が違うんだから、等しいって基準は異なるでしょというか...)