MathDB2 problems
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…