adding the sum topology#1368

zstone1 merged 4 commits intomath-comp:mastermath-comp/analysis:masterfrom

zstone1:coproductszstone1/analysis:coproductsCopy head branch name to clipboard