Sum

class discopy.rigid.Sum(terms, dom=None, cod=None)

Bases: discopy.closed.Sum, Box

A rigid sum is a closed sum that can be transposed.

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.