Sum
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
- 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.