レンズ／オプティックを記述する道具としてテレオロジー圏が便利そうです。紹介しておきます。内容： 参考文献 アクテゴリー〈加群圏〉 テレオロジー圏とストリング図 テレオロジー圏の定義 最初の記事＋シリーズ目次 参考文献テレオロジー圏〈teleological category〉は、次で論文でヘッジズによって導入されました。 Title: Coherence for lenses and open games Author: Jules Hedges Submitted: 15 …