- class discopy.closed.Ty(*inside)[source]#
A closed type is a monoidal type that can be exponentiated.
inside (Ty) – The objects inside the type.
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)