12 citations · 19 across the 6 of their papers we have counts for
Showing math.CTShow all
2 papers · 1 filter
math.CT2022★ 2 cited
Cornering Optics
Guillaume Boisseau, Chad Nester, Mario Román
We show that the category of optics in a monoidal category arises naturally from the free cornering of that category. Further, we show that the free cornering of a monoidal categor…
math.CT2020
String Diagrams for Optics
Guillaume Boisseau
Optics are a data representation for compositional data access, with lenses as a popular special case. Hedges has presented a diagrammatic calculus for lenses, but in a way that do…