19 citations · 40 across the 10 of their papers we have counts for
Showing 2020Show all
3 papers · 1 filter
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★ 2 cited
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…
cs.PL2020★ 19 cited
Profunctor Optics, a Categorical Update
Bryce Clarke, Derek Elkins, Jeremy Gibbons +4
Optics are bidirectional data accessors that capture data transformation patterns such as accessing subfields or iterating over containers. Profunctor optics are a particular choic…