3 citations · 5 across the 3 of their papers we have counts for
1 paper · 2 filters
Dylan Braithwaite, Matteo Capucci, Bruno Gavranović +2
Lenses, optics and dependent lenses (or equivalently morphisms of containers, or equivalently natural transformations of polynomial functors) are all widely used in applied categor…