Why doesn't the join operation on the category of simplicial sets commute up to unique isomorphism? I mean, aren't products and coproducts commutative up to isomorphism? That leads me to conclude at first glance that the join is commutative, but it's not. Recall, given two simplicial sets $S$ and $S'$, we define the join to be the simplicial set such that for all finite nonempty totally ordered sets $J$, $$(S\star S')(J)=\coprod_{J=I\cup I'}S(I) \times S'(I')$$ Where $\forall (i \in I \land i' \in I') i < i'$, which implies that $I$ and $I'$ are disjoint.

Now the thing is, clearly my conclusion is stupid, because we use the fact that it doesn't commute to distinguish between over quasi-categories and under quasi-categories. Where did I go wrong?

I hope this is up to the standards of MO, but if it's not, I'll delete the topic.