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?

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?