Definition 12.3.8. A category $\mathcal{A}$ is called additive if it is preadditive and finite products exist, in other words it has a zero object and direct sums.

There are also:

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).