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

alias of Ty