オプティックは双方向データ変換の技法ですが、抽象的定式化の枠組みとしては丹原／ペイストロ*1／ストリート理論〈Tambara-Pastro-Street theory〉が使われているようです。なので、オプティックのための丹原／ペイストロ／ストリート理論の枠組みについて…