19 citations · 40 across the 10 of their papers we have counts for
Showing 2020 · math.CTShow all
2 papers · 2 filters
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…