Categories of Optics

A paper formalising categories of (lawful) optics.

Inbox

${𝐎 𝐩 𝐭 𝐢 𝐜}_{M}^{2} = \sum_{M_{1}, M_{2}} (S \to M_{1} \otimes A) \times (M_{1} \otimes A \to M_{2} \otimes A) \times (M_{2} \otimes A, S)$