Cup

Contents

Cup#

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

Bases: Cup, Box

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

Parameters:
  • left (Ty) –

  • right (Ty) –