19 citations · 21 across the 2 of their papers we have counts for
2 papers
math.CT2022★ 2 cited
Compound Optics
Bartosz Milewski
Simple optics are defined using actions of monoidal categories. Compound optics arise, for instance, as natural transformations between polynomial functors. Since a monoidal catego…
cs.PL2020★ 19 cited
Profunctor Optics, a Categorical Update
Bryce Clarke, Derek Elkins, Jeremy Gibbons +4
Optics are bidirectional data accessors that capture data transformation patterns such as accessing subfields or iterating over containers. Profunctor optics are a particular choic…