3 citations · 3 across the 1 of their papers we have counts for
1 paper · 1 filter
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…