# The direct sum of any family of objects

Suppose in an Abelian category $\mathscr C$, the direct sum of any family of objects exists, then is $\bigoplus_{i\in\varnothing}A_i$ equal to 0 or meaningless?

An empty direct sum in an abelian category is a zero object.

In general:

An empty product is a terminal object (provided that the category has terminal objects).

An empty coproduct is an initial object (provided that the category has initial objects).