Reference API
Notebooks
Extra
Bases: discopy.rigid.Cup, Box
discopy.rigid.Cup
Box
A pivotal cup is a rigid cup of pivotal types.
left (Ty) – The atomic type.
right (Ty) – Its adjoint.
The dagger of a pivotal cup.
Cap