圏の双対のイメージ？

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

raiseboxの高さ、深さ

$\mathrm{\TeX}$ におけるraiseboxの高さ、深さの意味がよく分からなかったので記録。なおmathjaxでは使用できない模様。
\[
{\raisebox{3ex}[0ex][0ex]{x}}^a_b,~
{\raisebox{0ex}[3ex][0ex]{x}}^a_b,~
{\raisebox{0ex}[0ex][3ex]{x}}^a_b
]\