Ty

Ty#

class discopy.closed.Ty(*inside, dom=None, cod=None, _scan=True, **kwargs)[source]#

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.svg',
...     aspect="auto", figsize=(8, 8), margins=(0.2, 0))
../_images/diagram.svg
Parameters:

  • inside (str | cat.Ob) –

  • dom (C0) –

  • cod (C0) –

  • _scan (bool) –

exp_factory#

alias of Exp

factory#

alias of Ty

over_factory#

alias of Exp

under_factory#

alias of Exp

Contents