Sums and Direct Sums

1.3. Sums and Direct Sums#