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

Let a well-formed equation between morphism terms in the language of monoidal categories be given. Coherence conjecture. The result remains true if one allows arbitrary planar defo…