Cup

class discopy.rigid.Cup(left, right)

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')

dagger()

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