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.
