2 problems

Completeness conjecture for generalized controlled-not identities. These identities are complete for $\operatorname{Iso}(\mathsf{FinSet}_2)$: every equality of Boolean isomorphisms…

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…