圏の双対のイメージ？

eqaulizerというのがあってこれは二つの射をeqaulizeする。一方coeqaulizerは同値類で割ることの圏論的形式とでも言うべきものであるから、強いて言えばeqaulizeされているのは対象の中の要素だといえよう。まさに要素$\leftrightarrow$写像の双対性である。