281: \\( (\Theta \otimes 1) \circ \alpha . (1 \otimes \Psi) \circ \alpha \circ (\Phi \otimes 1) \\)
Two questions here:
1. Am I missing unitors somewhere?
2. The associator only seems to go *from* \\( (X \otimes Y) \otimes Z \\) *to* \\(X \otimes (Y \otimes Z) \\): but I use it in both directions: how do I fix this?