关于Yoneda你需要知道的：Profunctor光学和Yoneda引理

摘要

Profunctor光学是双向数据存取器的一种简洁且可组合的表示，包括透镜及其双棱镜。depunctor表示利用了高阶函数和更高级的kindd类型构造函数类，但这与“getter”和“setter”函数方面的常见表示之间的关系并不明显。我们从具体表征中导出了亵渎者表征，从而明确了这种关系。这是Yoneda引理的一个相当直接的应用，可以说是范畴理论中最重要的结果。我们希望这种推导有助于理解亵渎表象。相反，它也可能有助于对Yoneda引理提供一些见解。