5 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…

The category in which numerical linear algebra takes place is vector spaces and linear transformations, with vector spaces augmented by orthonormal bases that define spiders. Compo…

Let…

The paper works in a symmetric monoidal $\dag$-category with finite $\dag$-biproducts, and considers its categorical construction of the quantum harmonic oscillator, including cate…