Direct Sum of Additive Categories I am following Etingof et al's book on tensor categories. They define the direct sum of additive categories as follows (I am rephrasing):

Let $\{ \mathcal C_\alpha, \alpha \in I \}$ be a family of additive categories.
  The direct sum $\mathcal C=\underset{\alpha\in I}{\bigoplus}{\mathcal C}_\alpha$ is the category whose objects are 
   $$X = \underset{\alpha\in I}{\bigoplus}X_\alpha ,\quad X_\alpha \in \mathcal C_\alpha$$
    such that only a finite number of $X_\alpha$ are $\neq 0_\alpha$. The arrows are
  $$
   \text{Hom}_\mathcal C(\underset{\alpha\in I}{\bigoplus}X_\alpha,\underset{\alpha\in I}{\bigoplus}Y_\alpha) = \underset{\alpha\in I}{\bigoplus} \text{Hom}_{\mathcal C_\alpha}(X_\alpha,Y_\alpha)
$$

My problem with this: how does it make sense to do the direct sum of objects of different additive categories? This definition hinges on this possibility, but we only know that we have the direct sum of any two objects in the same additive category, not different categories...
 A: I didn’t read their book but presumably this is just a notation/definition combo, as in:
An object $X$ in the direct sum category is an $I$-indexed list of objects $X_i$, one from each category, finitely many nonzero, and will be denoted by the suggestive notation $X = \bigoplus_{i \in I} X_i$. As for the $Hom$ sets, these are actually abelian groups, so you can sum them. 

If this notation needed any more justification, note that once you've built this category $\mathcal C = \bigoplus \mathcal C_i$, there are then embeddings $F_i: \mathcal C_i \to \mathcal C$ of additive categories for which one actually has a natural identification $$\bigoplus F_i(X_i) = \bigoplus X_i$$ where on the left the $\bigoplus$ is actually a direct sum in an additive category and on the right the $\bigoplus$ is the "suggestive notation".
Continuing this discussion for what is now much longer than necessary, you could compare this situation to taking the external direct sum of vector spaces $V_i$. Given $v_i\in V_i$ of course it is illegal to form $\sum v_i$. But once you define $\bigoplus V_i$ and identify the $V_i$ as subspaces of it, it becomes "actually" a sum in some vector space.
