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


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.