Cup

class discopy.pivotal.Cup(left, right)

Bases: discopy.rigid.Cup, Box

A pivotal cup is a rigid cup of pivotal types.

Parameters:

• left (Ty) – The atomic type.

• right (Ty) – Its adjoint.

dagger()

The dagger of a pivotal cup.

Return type:

Cap