[PDF][PDF] Monoidal optics are universal

M Earnshaw, J Hefford, M Román - oxford24.github.io
Monoidal categories are the algebra of sequential and parallel composition. Optics extend
this algebra by permitting holes in the diagrams. However, while optics form a category …