7 problems

Let $\cC$ be a category. Write $\mathbf{Lens_{Cart}}(\cC)$ for the category of cartesian lenses and $\mathbf{Optic}(\cC)$ for the category of optics. Let…

A wavefront emerging from a general non-symmetric optical system is a Gaussian surface with partial focus along two principal directions, producing two distinct images of a point s…

Dependent-lens diagram conjecture. Dependent lenses in ${\mathcal C}$ fit in a similar diagram to the one described for lenses and dependent optics.

Let $X,A,Y,B$ be objects of the underlying actegories, and let $((X,A),(Y,B))$ be an object of the category of double lenses over the optic category. A context on $((X,A),(Y,B))$ i…

C-lens optic conjecture. C-lenses are the lawful, possibly mixed optics for some action on $\mathbf{Cat}$.

Optic biadjunction conjecture. The functor

Let $N$ be the number of layers in a dielectric stack, and let $T_0$ denote the transmission value at the frequency $f_0$. Conjecture. The number of distinct $T_0$ values is…