圏論的レンズ 最初の一歩： ストリング図を中心に - 檜山正幸のキマイラ飼育記 (はてなBlog)

プログラミングにおいて、レンズ〈lens〉と呼ばれる構造が使われる機会が増えているようです。古典的なレンズが幾つかの方向に一般化されていて、「レンズってなに？」と聞かれても答えにくい状況になっています。 一番簡単な（と僕が思っている）ストレージの例からはじめて、具象レンズを導入し、それらのあいだの関係を調べます。記述と計算にストリング図を使用します。 内容： 元祖レンズ 元祖レンズの圏 元祖レンズ達はホントに圏なのか？ Webサーバーモデル 具象レンズ 元祖レンズと具象レンズ おわりに シリーズ目次（リンク）： 圏論的レンズ 最初の一歩： ストリング図を中心に（この記事） 圏論的レンズ 2： 具象オプティック 圏論的レンズ 訂正と補足： 具象レンズ＝具象オプティック 圏論的レンズ 3： レンズ／オプティックのための描画法 圏論的レンズ 4： テレオロジー圏 圏論的レンズ 5： オプティック