Cup#

class discopy.tensor.Cup(left, right)[source]#

Bases: discopy.frobenius.Cup, Box

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

Parameters

  • left (Ty) – The atomic type.

  • right (Ty) – Its adjoint.