Delta透镜作为共代数的翻译
摘要：Delta镜头是用于建模系统之间的双向转换的范畴态射。传统的基于状态的镜头，也称为非常良好行为的镜头，既是一个单子代数，也是一个余单子代数。Delta镜头推广了基于状态的镜头，尽管Delta镜头已经被表征为半单子代数，但自然会问它们是否也可以作为余代数出现。 本文通过证明从基于底部的Delta镜头范畴到基于底部的共函子范畴的遗忘函子是余单子谐函子，从而证明Delta镜头是余代数。证明利用了一个关于Delta镜头的图示方法，并澄清了有关Delta镜头和共函子之间关系的一些文献中的结果。有趣的是，尽管这项工作没有推广基于状态的镜头的相应结果，但它为将镜头作为余代数探索提供了新的途径。
作者：Bryce Clarke
论文ID：2108.00390
分类：Category Theory
分类简称：math.CT
提交时间：2022-03-02