Cup

Contents

Cup#

class discopy.tensor.Cup(name=None, dom=None, cod=None, data=None, *args, **kwargs)[source]#

Bases: discopy.frobenius.Cup, Box

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

Parameters:
  • left (Dim) – The atomic type.

  • right (Dim) – Its adjoint.

  • dom (T) –

  • cod (T) –