Cup# class discopy.pivotal.Cup(left, right)[source]# 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()[source]# The dagger of a pivotal cup. Return type: Cap