Cup

class discopy.frobenius.Cup(left, right)

Bases: discopy.compact.Cup, Box

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

Parameters:

• left (Ty) – The atomic type.

• right (Ty) – Its adjoint.