レンズ／オプティックについて次の記事を書きました。 圏論的レンズ 最初の一歩： ストリング図を中心に 圏論的レンズ 2： 具象オプティック 圏論的レンズ 訂正と補足： 具象レンズ＝具象オプティック これらの記事を（読むのではなく）眺めてもらえれば分か…