Markov

class discopy.para.Markov(dom, cod, inside, param=None, copar=None)

Bases: Symmetric, discopy.abc.MarkovCategory

Parametric maps over a Markov underlying category form a Markov category, with the copy of the underlying category as copy().

Parameters:

• dom (ob)

• cod (ob)

• inside (category)

• param (ob)

• copar (ob)

category

alias of Diagram

classmethod copy(x, n=2)

The copy of the underlying category, with empty parameter space.

Parameters:

• x (Ty) – The object to copy.

• n (int) – The number of copies.

Return type:

Markov