Ty

class discopy.biclosed.Ty(*objects, left=None, right=None)

Bases: Ty

Objects in a free biclosed monoidal category. Generated by the following grammar:

ty ::= Ty(name) | ty @ ty | ty >> ty | ty << ty

Examples

>>> x, y = Ty('x'), Ty('y')
>>> print(y << x >> y)
((y << x) >> y)
>>> print((y << x >> y) @ x)
((y << x) >> y) @ x