ScalingStacks

Proposition 6 We have a canonical splitting of complexes

$$\overline{C}(V\oplus W)=\overline{C}(V)\oplus\overline{C}(W)$$

(38)

where $V$ and $W$ are skew-commutative $\mathcal{I}$-cubes over an abelian category and $V\oplus W$ is the direct sum of $V$ and $W$.