Cap

class discopy.rigid.Cap(left, right)

Bases: BinaryBoxConstructor, Box

Defines cups for simple types.

>>> n = Ty('n')
>>> Cap(n, n.l)
Cap(Ty('n'), Ty(Ob('n', z=-1)))

>>> Cap(n, n.l).draw(figsize=(2,1), margins=(0.5, 0.05),\
... path='docs/_static/imgs/rigid/cap.png')