The free split opfibration on a delta lens

Bryce Clarke

Tallinn University of Technology



Abstract: Split opfibrations are delta lenses whose chosen lifts admit a certain universal property. In this talk, I will show that the category of split opfibrations is a reflective subcategory of the category of delta lenses, the proof of which follows from the Adjoint Triangle Theorem. As a special case, we will also construct the free Schreier split epimorphism on a split epimorphism between monoids.