Sum#

class discopy.rigid.Sum(terms, dom=None, cod=None)[source]#

Bases: discopy.monoidal.Sum, Box

A rigid sum is a monoidal 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.

property l: discopy.rigid.Sum#

The left transpose of a sum, i.e. the sum of left transposes.

property r: discopy.rigid.Sum#

The right transpose of a sum, i.e. the sum of right transposes.