3 problems

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