对称透镜的图解方法
摘要：对称镜头是一种维持一对系统之间一致性的数学结构。在他们的继续研究项目中，Johnson和Rosebrugh试图统一对称镜头的处理与非对称镜头的跨度的处理。本文提出了一种通过用Mealy态射表示传播操作的分类之间的对称镜头的图示方法。本文的核心结果是通过在同态范畴之间构造一个显式的斜三重邻补，证明对称镜头的范畴副结构在局部上与非对称镜头的跨度的范畴副结构邻补。
作者：Bryce Clarke
论文ID：2101.10481
分类：Category Theory
分类简称：math.CT
提交时间：2021-01-27