We show that the category of optics in a monoidal arises naturally from free cornering category. Further, we is natural setting which to work with comb diagrams over The admits an intuitive graphical calculus, light our may be used reason about and diagrams.

Based on transformation optics‎, ‎we propose an illusion device that can make‎ ‎objects look much smaller and different than they actually are‎. ‎In particular‎, ‎the device has a capability to hide a large object (like an elephant) into a‎ ‎small one (like a matchbox)‎. ‎Compared to previous proposals for illusion‎ ‎devices‎, ‎there is no requirement for negative refractive index or for spee...