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))