Cup#

class discopy.rigid.Cup(left, right)[source]#

Bases: BinaryBoxConstructor, Box

The counit of the adjunction for an atomic type.

Parameters
  • left (Ty) – The atomic type.

  • right (Ty) – Its right adjoint.

Example

>>> n = Ty('n')
>>> Cup(n, n.r).draw(figsize=(2,1), margins=(0.5, 0.05),\
... path='docs/_static/rigid/cup.png')
../_images/cup.png
dagger()[source]#

The dagger of a rigid cup is ill-defined, use a pivotal.Cup instead.