[论文解读] Profunctor Optics, a Categorical Update

Bryce Clarke, Derek Elkins+5 more|arXiv (Cornell University)|Jan 21, 2020

Advanced Database Systems and Queries被引用 12

一句话总结

本论文通过V-范畴理论与Tambara模，将profunctor optics推广至混合与丰富化设置，实现了跨不同范畴的光学模块化组合。它提出了一套统一的混合profunctor optics框架，基于coend微积分推导出遍历（traversals），并通过Haskell实现进行了验证。

ABSTRACT

Optics are bidirectional data accessors that capture data transformation patterns such as accessing subfields or iterating over containers. Profunctor optics are a particular choice of representation supporting modularity, meaning that we can construct accessors for complex structures by combining simpler ones. Profunctor optics have previously been studied only in an unenriched and non-mixed setting, in which both directions of access are modelled in the same category. However, functional programming languages are arguably better described by enriched categories; and we have found that some structures in the literature are actually mixed optics, with access directions modelled in different categories. Our work generalizes a classic result by Pastro and Street on Tambara theory and uses it to describe mixed V-enriched profunctor optics and to endow them with V-category structure. We provide some original families of optics and derivations, including an elementary one for traversals. Finally, we discuss a Haskell implementation.

研究动机与目标

• 将profunctor optics从非丰富化、非混合设置推广至支持混合与V-丰富化范畴。
• 为光学提供一个范畴论基础，统一多种访问模式，如镜头（lenses）、棱镜（prisms）与遍历（traversals）。
• 通过统一的profunctor表示形式，形式化异质光学（如镜头+棱镜）的组合。
• 利用coend微积分推导出新的光学家族，包括基于coend微积分的初等遍历构造。
• 通过丰富化profunctor optics框架，实现在Haskell等函数式语言中的实际实现。

提出的方法

• 通过coend微积分，将Pastro与Street的Tambara理论推广至混合V-丰富化profunctor optics。
• 将光学建模为在V-范畴上带有Tambara模结构的profunctors，支持在不同范畴间的组合。
• 引入基于coend微积分的新遍历推导方法，避免使用复杂的范畴论工具。
• 为混合profunctor optics范畴赋予V-范畴结构，支持丰富化组合。
• 利用Yoneda引理与profunctor表示，将光学编码为多态函数。
• 提供基于丰富化profunctor optics框架的Haskell工作实现。

实验结果

研究问题

• RQ1 如何将profunctor optics推广至混合设置，使得分解与重构方向存在于不同范畴？
• RQ2 何种范畴结构可支持异质光学（如镜头与棱镜）的模块化组合？
• RQ3 如何利用coend微积分以原则化且初等的方式推导出遍历？
• RQ4 可在混合profunctor optics范畴上赋予何种丰富化范畴结构？
• RQ5 该框架如何在Haskell等实用函数式编程语言中实现？

主要发现

• 本论文成功将profunctor optics推广至混合V-丰富化设置，扩展了以往局限于非丰富化、非混合范畴的工作。
• 通过coend微积分，提出了一种新颖且初等的遍历推导方法，其构造比以往方法更清晰、更具原则性。
• 混合profunctor optics范畴被赋予V-范畴结构，支持丰富化组合，并形式化了模块化特性。
• 该框架通过统一的profunctor表示支持异质光学（如镜头+棱镜）的组合，实现模块化数据访问。
• 提供了工作级Haskell实现，证明了丰富化与混合profunctor optics模型的实际可行性。