Definition 12.3.5. Given a pair of objects $x, y$ in a preadditive category $\mathcal{A}$, the direct sum $x \oplus y$ of $x$ and $y$ is the direct product $x \times y$ endowed with the morphisms $i, j, p, q$ as in Lemma 12.3.4 above.

There are also:

• 8 comment(s) on Section 12.3: Preadditive and additive categories

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).