Cup

class discopy.rigid.Cup(left, right)

Bases: BinaryBoxConstructor, Box

Defines cups for simple types.

>>> n = Ty('n')
>>> Cup(n, n.r)
Cup(Ty('n'), Ty(Ob('n', z=1)))

>>> Cup(n, n.r).draw(figsize=(2,1), margins=(0.5, 0.05),\
... path='docs/_static/imgs/rigid/cup.png')