Sum

Contents

Sum#

class discopy.tensor.Sum(name=None, dom=None, cod=None, data=None, *args, **kwargs)[source]#

Bases: discopy.monoidal.Sum, Box

A formal sum of tensor diagrams with the same domain and codomain.

Parameters:
  • terms (tuple[Diagram, ...]) – The terms of the formal sum.

  • dom (Dim) – The domain of the formal sum.

  • cod (Dim) – The codomain of the formal sum.