Cup

class discopy.compact.Cup(left, right)

Bases: discopy.ribbon.Cup, Box

A compact cup is a ribbon cup in a compact diagram.

Parameters:

• left (pivotal.Ty) – The atomic type.

• right (pivotal.Ty) – Its adjoint.