Computing a cone in a $\otimes$-triangulated category I have a $\otimes$-triangulated category $\mathcal T$ and two triangles in $\mathcal T$:
$$
x_0\to x_1\to c_x\to \Sigma x_0\ \ \ \text{and}\ \ \ y_0\to y_1\to c_y\to \Sigma y_0.
$$
Consider the following diagram, where the object $P$ is constructed as a homotopy push-out of the obvious maps $\Sigma^{-1}c_x\otimes y_0 \leftarrow\Sigma^{-1}c_x\otimes\Sigma^{-1}c_y\to x_0\otimes \Sigma^{-1} c_y$ (one can do this either as in Neeman's book, or assuming that there is some enhancement for $\mathcal T$):

Is it true that the cone of the map $\varphi$ obtained this way is isomorphic to $x_1\otimes y_1$?
The question is relatively natural, so I hope that somebody with a little more working experience with $\otimes$-triangulated categories will be able to give a simple proof or a known counterexample in some concrete situation. If this is not known in general, I am happy to assume that $\mathcal T$ has some kind of enhancement (e.g., $\mathcal T$ is the homotopy category of a stable $(\infty,1)$-category, or $\mathcal T$ is the base of a strong and stable derivator), or even, to start with, to assume that $\mathcal T$ is the derived category of a commutative ring.
 A: In what follows I am going to assume $\mathcal{T}$ is the homotopy category of a stably symmetric monoidal ∞-category. The argument I am going to give can probably be generalized to any case of interest, but I'll stay in familiar territory (for me).

What you are trying to compute is usually called the total cofiber of the square
$$\require{AMScd}
\begin{CD}
 \Sigma^{-1}c_x \otimes \Sigma^{-1}c_y @>>> x_0 \otimes \Sigma^{-1}c_y\\
  @VVV   @VVV\\
  \Sigma^{-1}c_x\otimes y_0 @>>> x_0\otimes y_0
\end{CD}$$
Now the total cofiber of a square can be computed by taking the cofiber of the induced map on the cofiber of any pair of parallel arrows (this is a well known result, at the end of this answer of mine you can find a short proof in the case of the total fiber), so we can compute the required object by first taking the cofibers of parallel arrows. Since the tensor product preserves fiber sequences, and the cofiber of $\Sigma^{-1}c_x\to x_0$ is $x_1$, the required object is the cofiber of
$$x_1\otimes \Sigma^{-1}c_y\to x_1\otimes y_0$$
Hence it coincides with $x_1\otimes y_1$, as required.
