19 citations · 40 across the 10 of their papers we have counts for
Showing 2021Show all
3 papers · 1 filter
math.CT2021
Delta lenses as coalgebras for a comonad
Bryce Clarke
Delta lenses are a kind of morphism between categories which are used to model bidirectional transformations between systems. Classical state-based lenses, also known as very well-…
math.CT2021★ 4 cited
Limits and Colimits in a Category of Lenses
Emma Chollet, Bryce Clarke, Michael Johnson +3
Lenses are an important tool in applied category theory. While individual lenses have been widely used in applications, many of the mathematical properties of the corresponding cat…
math.CT2021★ 5 cited
A diagrammatic approach to symmetric lenses
Bryce Clarke
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 treatme…