Selinger ("A survery of graphical languages for monoidal categories", 2009) defines a "spacial monoidal category" as one that satisifies the following string-diagram axiom [![enter image description here][1]][1] [1]: https://i.sstatic.net/nyAYv.png Or textually as saying for every $h : I \to I$ and object $A$, $$ \rho_A \circ (\text{id}_A \otimes h) \circ \rho^{-1}_A = \lambda_A \circ (h \otimes \text{id}_A) \circ \lambda_A^{-1}$$ What is an example of a monoidal category that is *not* spacial by this definition?