对称透镜的图示方法

透镜是一种用于维持一对系统之间一致性的数学结构。在持续的研讨计划中，Johnson 与 Rosebrugh 力求将对称透镜的处理与非对称透镜的跨积统一起来。本文通过用 Mealy 态射表示传播操作，提出了范畴间对称透镜的一种图示方法。本文的核心结果是通过构造同态范畴间一个显式的伴随三元组，证明对称透镜的双范畴局部伴随于非对称透镜跨积的双范畴。