いう対応を埋め込み関手に拡張すれば、とみなせます。同じであることを示しました。定義は違うのですが、その違いはどのような表示を選ぶかでした。どちらの表示(具象レンズ表示、具象オプティック表示)を選んでも、同値類を取ってしまえば同じ実体になってしまいます。実体(同値類)達により作られる圏は同じです。いうと、そうではありません。具象レンズ表示と具象オプティック表示が同値であることは、集合圏(より一般にはデカルト圏)特有の事情に依存しています。一般的な圏では、レンズ表示とオプティック表示が同じであることは保証できません。オプティック表示のほうが一般性も対称性も高いのは事実です。以上の理由から、より一般的・抽象的な“オプティックの圏”の構成・定義にはオプティック表示が使われます。表示ではないか」と言われればそうなんですけど、そこは察してください。今回は、僕の雑感のようなものです。1はてなブログをはじめよう!m-hiyamaさんは、はてなブログを使っています。ブログを報告する引用をストックしましたストック一覧を見る閉じる引用するにはまずログインしてくださいログイン閉じる引用をストックできませんでした。再度お試しください閉じる限定公開記事のため引用できません。