Contextual equivalence of lenses

Last updated Feb 25, 2024

• optics
• Contextual equivalence of optics could be recovered using normal monoidal multicategorical contour with visible symmetric monoidal categories.

References.

• Cole Comfort and James Hefford have a paper on this.