メールはスパムと判定されることがあります。最初は、信頼されているドメインから差し障りのない文面を送っていただけると、スパムと判定されにくいと思います。具象オプティック」において、次のように書きました。具象オプティックを定義すると、具象レンズは特殊な具象オプティックとみなせます。定義すれば、具象レンズの圏はその部分圏として確定します;。この記述は、未確認の状況に対する僕の誤認に基づいていました。「2つの圏が同じ圏なら部分圏と言えるので論理的に間違ったことは言ってない」と強弁もできますが、同じ圏だと思ってなかったという点で完全に勘違いしてました。具象オプティック」で次のようなことも書きました。具象オプティックは具象オプティック実装の同値類として定義されました。これは、有理数が分数の同値類として定義されているのと事情は同じです。要素の表示〈presentation〉とも呼びます。この言葉を使うと、具象オプティック実装は具象オプティックの表示となります。これからレンズ/オプティックについて話すことを、分数と有理数で例えてみます。分数の分母に負の整数も許すとします。ひとつの有理数に対して、その表示である分数はたくさんあります。分数として、分母が正のものだけ考えても有理数を表現できます。表示の集合は違っても、商集合は同じになります。分数の集合:分母が正の分数の集合:商集合は同じ:このことは、任意の分数(分母が負でもよい)に対して、同じ有理数を表す“分母が正の分数”を作れば示せます。先に引用した文言で:具象レンズは特殊な具象オプティックとみなせます。これは不正確で、正しくは:“具象レンズの表示”は、特殊な(制限した)“具象オプティックの表示”とみなせます。表示〈実装〉としては違うけど、表す実体〈同値類〉は同じでした。