3 problems

Let $T$ be the underlying structure and let $\operatorname{TSMC}(T)$ denote the category constructed from $T$ using the trace functional as in the paper. A traced symmetric monoida…

Let a spacial traced category be a planar traced category satisfying the spacial and spherical axioms, and consider the graphical language in which diagrams are identified up to is…

Let a planar traced category be a monoidal category equipped with right and left traces satisfying the three additional axioms of interchange, left pivoting, and right pivoting, an…