PS

Equalizer

Equalizer

Diagram:

f:id:mbps:20130726105014p:plain

のlimitを  f gequalizerという。Coneのnaturalityが

  •  f \circ e  = g \circ e

を表している。

命題

  •  e : \text{equalizer} \Rightarrow e: \text{mono}
  •  \lbrace x \mid a(x) = b(x) \rbrace \cong \lbrace (x, y) \mid y = a(x) = b(x) \rbrace

参考文献