圏の定義

結合律: f: a → b, g: b → c, h: c → d ならば h ∘ (g ∘ f) = (h ∘ g) ∘ f が成り立つ。 単位律: 各対象 x ∈ ob(C) に対して x の恒等射と呼ばれる自己射 idx = 1x: x → x が存在して、任意の射 f: a → x および g: x → b に対して 1x ∘ f = f and g ∘ 1x = g を満たす。

に出てくる = は何？射は Equatable なんでしょうか？ = が満たされる条件は何？始域と終域が同じであること？（つまり対象は Equatable ？） (edited)