Ty

class discopy.closed.Ty(*inside)

Bases: discopy.biclosed.Ty

A closed type is a biclosed type in a symmetric category where left and right exponentials coincide, i.e. X << Y == X ** Y == Y >> X.

Applying a closed type to a function yields an Term e.g.

>>> X, Y = Ty("X"), Ty("Y")
>>> t = X(lambda x: (X >> Y)(lambda f: f(x)))
>>> t.draw(
...     path='docs/_static/closed/diagram.png',
...     aspect="auto", figsize=(8, 8), margins=(0.2, 0))

Parameters:

inside (str | cat.Ob) –

exp_factory

alias of Exp

ob

alias of Ty

over_factory

alias of Exp

under_factory

alias of Exp