Reference. Monoidal optics are universal [earnshaw-2024-monoidal-optics-talk]