PRO#

class discopy.monoidal.PRO(n=0)[source]#

Bases: Ty

Implements the objects of a PRO, i.e. a non-symmetric PROP. Wraps a natural number n into a unary type Ty(1, …, 1) of length n.

Parameters:

n (int) – Number of wires.

Examples

>>> PRO(1) @ PRO(1)
PRO(2)
>>> assert PRO(3) == Ty(1, 1, 1)
>>> assert PRO(1) == PRO(Ob(1))