8 citations · 13 across the 2 of their papers we have counts for
3 papers
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…
math.CT2020★ 8 cited
Internal lenses as functors and cofunctors
Bryce Clarke
Lenses may be characterised as objects in the category of algebras over a monad, however they are often understood instead as morphisms, which propagate updates between systems. Wo…
math.CT2020
Internal split opfibrations and cofunctors
Bryce Clarke
Split opfibrations are functors equipped with a suitable choice of opcartesian lifts. The purpose of this paper is to characterise internal split opfibrations through separating th…