Lifting twisted coreflections against delta lenses

Bryce Clarke

Delta lenses are functors equipped with a suitable choice of lifts, generalising the notion of split opfibration. In recent work, delta lenses were characterised as the right class…