Ty
Ty#
- class discopy.closed.Ty(*inside)[source]#
Bases:
discopy.monoidal.Ty
A closed type is a monoidal type that can be exponentiated.
- Parameters
inside (Ty) – The objects inside the type.
Note
We can exponentials of types.
>>> x, y, z = Ty(*"xyz") >>> print((x ** y) ** z) ((x ** y) ** z)
We can also distinguish left- and right-exponentials.
>>> print((x >> y) << z) ((x >> y) << z)