Jonathan

Ahhh. I got it now LOL. So you need the associativity rule in order to define a monoid and therefore even before you get a monoidal preorder you need to have associativity baked into the definition. The nice thing about wiring diagrams is that it does exactly that.

Anyways, sorry for asking such a basic question and thanks a bunch for explaining it for me.