A diagrammatic approach to symmetric lenses

Bryce Clarke*

*Corresponding author for this work

Research output: Working paperPreprint

4 Citations (Scopus)

Abstract

Lenses are a mathematical structure for maintaining consistency between a pair of systems. In their ongoing research program, Johnson and Rosebrugh have sought to unify the treatment of symmetric lenses with spans of asymmetric lenses. This paper presents a diagrammatic approach to symmetric lenses between categories, through representing the propagation operations with Mealy morphisms. The central result of this paper is to demonstrate that the bicategory of symmetric lenses is locally adjoint to the bicategory of spans of asymmetric lenses, through constructing an explicit adjoint triple between the hom-categories.

Original languageEnglish
Pages79-91
Number of pages13
DOIs
Publication statusSubmitted - 26 Jan 2021

Publication series

NamearVix

Fingerprint

Dive into the research topics of 'A diagrammatic approach to symmetric lenses'. Together they form a unique fingerprint.

Cite this