Sum

Contents

Sum#

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

Bases: discopy.markov.Sum, discopy.biclosed.Sum, Box

A markov sum is a symmetric sum and a markov box, linear when every term is.

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.

Contents