Categories of Optics

A paper formalising categories of (lawful) optics.

Inbox

Twoptic

𝐎𝐩𝐭𝐢𝐜M2=M1,M2(SM1A)×(M1AM2A)×(M2A,S)