MarkovCategory#

class discopy.abc.MarkovCategory[source]#

Bases: SymmetricCategory, Generic

A Markov category is a SymmetricCategory with methods copy and merge for the supply of commutative comonoids.

abstract classmethod copy(x, n=2)[source]#

Make n copies of a given object x.

Parameters:
  • x (T) – The object to copy.

  • n (int) – The number of copies.

Return type:

MarkovCategory

abstract classmethod merge(x, n=2)[source]#

Merge n copies of a given object x.

Parameters:
  • x (T) – The object to merge.

  • n (int) – The number of copies.

Return type:

MarkovCategory