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