m-hiyama https://blog.hatena.ne.jp/m-hiyama/ 檜山正幸のキマイラ飼育記 (はてなBlog) https://m-hiyama.hatenablog.com/ 雑記／備忘 「圏論的レンズ 2： 具象オプティック」において、次のように書きました。 具象オプティックを定義すると、具象レンズは特殊な具象オプティックとみなせます。「圏論的レンズ 最初の一歩： ストリング図を中心に」において、具象レンズの圏 の形式的定義は省略しましたが、具象オプティックの圏 をちゃんと定義すれば、具象レンズの圏はその部分圏として確定します； 。 この記述は、未確認の状況に対する僕の誤認に基づいていました。 ではなくて、実際は となります。「2つの圏が同じ圏なら部分圏と言えるので論理的に間違ったことは言ってない」と強弁もできますが、同じ圏だと思ってなかったという点で完全に勘違いしてました。… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F2021%2F11%2F16%2F173105" title="圏論的レンズ 訂正と補足： 具象レンズ＝具象オプティック - 檜山正幸のキマイラ飼育記 (はてなBlog)" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://www.chimaira.org/img5/cart-pair.png Hatena Blog https://hatena.blog 2021-11-16 17:31:05 rich https://m-hiyama.hatenablog.com/entry/2021/11/16/173105 1.0 100%