Sum# class discopy.braided.Sum(terms, dom=None, cod=None)[source]# Bases: discopy.monoidal.Sum, Box A braided sum is a monoidal sum and a braided box. Parameters: terms (tuple[Diagram, ...]) – The terms of the formal sum. dom (Ty) – The domain of the formal sum. cod (Ty) – The codomain of the formal sum.