Category:Definitions/Internal Direct Sums